Why Larch?
(relatively) low cost of entry:
easy to install
familiar notation
interactive tools, FAQ
practical integration with running code
practical integration with a proof assistant
Dan Connolly
&
Masayasu Ishikawa
3 of 12