Coarse implementation of proof forms.

Fork: 0

iw / support

Browse code Coarse implementation of proof forms. master wip/CMIPL-26 v0.1.7 v0.1.4 v0.1.3 v0.1.2 v0.1.1 v0.1.0
1 parent 5ed5cb5 commit 6b1bd25378a76a1b18048212ab138c7e1b667689 Michal Prihoda authored on 7 May 2022

Patch

Unified Split

Showing 1 changed file

Ignore Space Show notes View ui/src/ui/components/tailwind/data_display/description_lists/LeftAlignedInCard.scala

Show line notes below