Jonathan Cubides
Results
2
repositories owned by
Jonathan Cubides
flask-ponywhoosh
83
Stars
10
Forks
Watchers
A Flask full-text search engine
agda-prop
15
Stars
1
Forks
Watchers
A Library for Classical Propositional Logic in Agda