folly.git - A first order logic parser and proof verifier.

index : folly.git

A first order logic parser and proof verifier.

summary refs log tree commit diff

Age	Commit message (Expand)	Author
5 days	Nfa construction using Thompson's methodHEAD main	Daniel Hader

generated by cgit v1.2.3 (git 2.39.1) at 2026-09-11 12:15:55 +0000