Skip to content
This repository was archived by the owner on Sep 23, 2026. It is now read-only.

Releases: Mroik/fitch

Release list

v0.0.2

v0.0.2 Latest
Latest

Choose a tag to compare

View all tags
@Mroik Mroik released this 10 May 00:37
v0.0.2
b8e87b7
This commit was signed with the committer’s verified signature. The key has expired.
Mroik Mroik/PositiveC
GPG key ID: 48797EA19C19BED1
Expired
Verified
Learn about vigilant mode.

Adds indicators and rule notation on deduction lines.

Assets 2
Loading

v0.0.1

v0.0.1

Choose a tag to compare

View all tags
@Mroik Mroik released this 09 May 04:35
v0.0.1
0ba2d4e
This commit was signed with the committer’s verified signature. The key has expired.
Mroik Mroik/PositiveC
GPG key ID: 48797EA19C19BED1
Expired
Verified
Learn about vigilant mode.

A first buggy version that implements propositional logic

Loading