Ayertienna

Copenhagen, Denmark

Pinned Repositories

Ayertienna.github.io
Language:HTML0 1 00
IS5
Intuitionistic S5 logic formalization
Language:Coq4 1 490
Beluga
Contextual types meet mechanized metatheory!
Language:OCaml184 12 18816
Meta
Mechanizing Types and Programming Languages using Beluga
Language:TeX17 20 44
api-client
REST client for Deon Digital's REST API
Language:TypeScript2 4 32
MMap
MMap coq project OPLSS
Language:Coq0 10 01