Larch-Team / Larch

Proof assistant created in the Plugin Oriented Programming paradigm

Geek Repo

Github PK Tool