Pinned Repositories
Ayertienna.github.io
IS5
Intuitionistic S5 logic formalization
Beluga
Contextual types meet mechanized metatheory!
Meta
Mechanizing Types and Programming Languages using Beluga
api-client
REST client for Deon Digital's REST API
MMap
MMap coq project OPLSS
Ayertienna's Repositories
Ayertienna/IS5
Intuitionistic S5 logic formalization
Ayertienna/Ayertienna.github.io