Skip to content

Minimum viable functionality

Pre-release
Pre-release
Compare
Choose a tag to compare
@ayberkt ayberkt released this 09 Jul 23:22
· 50 commits to master since this release
v0.1.0
578d2a2

Basics of proving, reporting the proof search process, and LaTeX generation in case a proof has been found.

Assets 2
Loading