Pinned Repositories
cubicaltt
Experimental implementation of Cubical Type Theory
adventofcode
bnfc
BNF Converter
canonicity
coq-course
Coq course at Chalmers CSE
cubical
Implementation of Univalence in Cubical Sets
cubicaltt
ecwf
ehol
A computational interpretation of extensional higher-order logic
proglogposter
simhu's Repositories
simhu/cubical
Implementation of Univalence in Cubical Sets
simhu/ecwf
simhu/canonicity
simhu/ehol
A computational interpretation of extensional higher-order logic
simhu/adventofcode
simhu/bnfc
BNF Converter
simhu/coq-course
Coq course at Chalmers CSE
simhu/cubicaltt
simhu/proglogposter
simhu/simhu.github.io
Personal Homepage
simhu/urxvt-resize-font
URxvt Perl extension for resizing the font