Jonathan Cubides

https://jonaprieto.github.io/

Read/write types and proofs for fun and profit. Better HoTT than cold.

Results 2 repositories owned by


                                            Jonathan Cubides

flask-ponywhoosh

83

Stars

10

Forks

Watchers

A Flask full-text search engine

full-text-search

agda-prop

15

Stars

1

Forks

Watchers

A Library for Classical Propositional Logic in Agda

natural-deduction

propositional-logic