Bram van den Heuvel dcad494c7d Attempt to implement basic library		2026-07-10 00:03:47 +02:00
..
__init__.py	Add new design for proof checker	2026-07-09 12:38:37 +02:00
basic.py	Attempt to implement basic library	2026-07-10 00:03:47 +02:00