8000 Releases · ayberkt/sequents · GitHub
[go: up one dir, main page]
More Web Proxy on the site http://driver.im/
Skip to content

Releases: ayberkt/sequents

v0.2.0

10 Jul 05:15
@ayberkt ayberkt
v0.2.0
64523fa
Compare
Choose a tag to compare
v0.2.0 Pre-release
Pre-release

Basically: much lighter code, nicer plain-text output, a lot of refactoring.

Loading

Minimum viable functionality

09 Jul 23:22
@ayberkt ayberkt
v0.1.0
578d2a2
Compare
Choose a tag to compare
Minimum viable functionality Pre-release
Pre-release

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

Loading
0