-
-
-
-
type-theory-turkish-dictionary Public
Forked from ayberkt/type-theory-turkish-dictionaryCreative Commons Zero v1.0 Universal UpdatedJan 7, 2025 -
-
-
-
-
equivalence-classes Public
Proofs of a few propositions on equivalence classes in Coq, inspired by the book "Notes for a Licenciatura".
Coq MIT License UpdatedJan 31, 2023 -
osg-paper Public
Paper explaining the solution of an order search game
TeX MIT License UpdatedNov 29, 2022 -
hatirlana Public
hatırlana, a collaborative monthly intellectual résumé.
TeX MIT License UpdatedSep 26, 2022 -
letter Public
restrict input to write anagrammatic poems easily
-
-
coquille Public
Forked from the-lambda-church/coquilleInteractive theorem proving with Coq in vim.
Vim Script ISC License UpdatedMar 25, 2020
{{ message }}