All

3 repositories

Larch
Public
Proof assistant created in the Plugin Oriented Programming paradigm
python logic pop
python logic pop plugin-system interactive-theorem-proving e-tutor analytic-tableaux
Python
•1•0•0•2•Updated May 15, 2025May 15, 2025
venice-turpentine
Public archive
Trying to create a slimmed down packagable version of Larch to run in a Pyodide environment
Python
•1•0•0•0•Updated Jan 12, 2025Jan 12, 2025
larch-plugins
Public
Plugin repository for the Larch proving assistant
0•0•0•0•Updated Nov 18, 2021Nov 18, 2021

ProTip! When viewing an organization's repositories, you can use the props. filter to filter by custom property.