[[![[Feed]](https://static.catseye.tc/images/icons/feedicon.gif)
]]
]]
Latest news
- Sat, 04 Mar 2023:
Some long-overdue updates to Burro.
Read more... - Wed, 01 Feb 2023:
Eqthy is a formalized language for proofs in equational logic.
Read more... - Fri, 27 Jan 2023:
relwrite is a tool for relating strings to strings.
Read more... - Thu, 26 Jan 2023:
Version 0.5 of Samovar has been released.
Read more... - Wed, 12 Oct 2022:
Lariat is a total ADT for proper lambda terms.
Read more... - Tue, 06 Sep 2022:
Philomath is an LCF-style theorem prover in ANSI C.
Read more... - Thu, 01 Sep 2022:
Feedmark 0.13 and Falderal 0.14 have been released.
Read more...
...
Also: