agda-fragment
agda-fragment copied to clipboard
Published
20 hours ago •
frex-project
frex-project
Algebraic proof discovery in Agda
Results
0
agda-fragment issues
Sort by
recently updated
recently updated
newest added