Skip to content

0.4.0 — 2024-08-29-12:51

Choose a tag to compare

View all tags
@github-actions github-actions released this 29 Aug 12:51
· 3 commits to main since this release
0.4.0
bfd8c4a
This commit was signed with the committer’s verified signature.
yd4dev
SSH Key Fingerprint: JuEJlVx7MGdDHbZclpmDCaHq0dk+2UjPvyFzgzmCSUk
Verified
Learn about vigilant mode. 
feat: Summarized Prädikatenlogik Syntax
Assets 3
Loading