summaryrefslogtreecommitdiff
path: root/source/Felix/Verification.hs
AgeCommit message (Expand)Author
4 hoursMigrate to `Felix` namespaceHEADhotgadelon
7 hoursMove to Felix namespaceadelon
8 hoursSimplify entry/CLI, track slowest ATP tasksadelon