GitPlanet
Projects
Users
Categories
Languages
About
All Categories
→
No Category
→ proof-search
Top 1 proof-search open source projects
ataca
A TACtic library for Agda
✭ 47
Agda
tactics
agda
proof-search
1-1
of
1
proof-search projects