| Branch | Commit message | Author | Age | |
|---|---|---|---|---|
| main | Nfa construction using Thompson's method | Daniel Hader | 5 days | |
| Age | Commit message | Author | ||
| 5 days | Nfa construction using Thompson's methodHEADmain | Daniel Hader | ||
 |
index : folly.git | |
| A first order logic parser and proof verifier. |
| summaryrefslogtreecommitdiff |