folly.git/src/nfa.rs, branch main

folly.git/src/nfa.rs, branch main A first order logic parser and proof verifier. https://git.danielhader.net/folly.git/atom?h=main 2026-09-06T15:16:26+00:00 Nfa construction using Thompson's method 2026-09-06T15:16:26+00:00 Daniel Hader dhader96@gmail.com 2026-09-06T15:16:26+00:00 urn:sha1:d41013cef2705a41c849b0df446bb1ff9ce85511