Pinned Repositories
coquille
Interactive theorem proving with Coq in vim.
desargues
desargues-doc
desargues-schema
dotfiles
Essential dotfiles.
equivalence-classes
Proofs of a few propositions on equivalence classes in Coq, inspired by the book "Notes for a Licenciatura".
hatirlana
hatırlana, a collaborative monthly intellectual résumé.
letter
restrict input to write anagrammatic poems easily
meram
a score inspired from meram's afternoon.
oneofvalts
oneofvalts's Repositories
oneofvalts/desargues
oneofvalts/desargues-doc
oneofvalts/letter
restrict input to write anagrammatic poems easily
oneofvalts/coquille
Interactive theorem proving with Coq in vim.
oneofvalts/desargues-schema
oneofvalts/dotfiles
Essential dotfiles.
oneofvalts/equivalence-classes
Proofs of a few propositions on equivalence classes in Coq, inspired by the book "Notes for a Licenciatura".
oneofvalts/hatirlana
hatırlana, a collaborative monthly intellectual résumé.
oneofvalts/meram
a score inspired from meram's afternoon.
oneofvalts/oneofvalts
oneofvalts/osg-paper
Paper explaining the solution of an order search game
oneofvalts/resume
my resume
oneofvalts/usavurdu
usavurdu, compilation of my certain poems