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

Branch	Commit message	Author	Age
main	Nfa construction using Thompson's method	Daniel Hader	5 days

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