ElifUskuplu

Pinned Repositories

agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell2.5k 66 5.6k365
2LTT-Agda
Formalization of 2LTT in Agda
Language:Agda3 0 00
agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell00
agda-unimath-elif
Univalent mathematics in Agda
Language:Agda00
elifuskuplu.github.io
Personal websites
Language:JavaScript00
narya
A proof assistant for higher-dimensional type theory
Language:OCaml3 0 00
Stlc_deBruijn
Simply Typed Lambda Calculus with de Bruijn indices
Language:C60
narya
A proof assistant for higher-dimensional type theory
Language:OCaml155 19 510
PG
This repo is the new home of Proof General
Language:Emacs Lisp496 13 53790
agda-unimath
The agda-unimath library
Language:Agda226 9 14772

ElifUskuplu's Repositories

ElifUskuplu/Stlc_deBruijn
Simply Typed Lambda Calculus with de Bruijn indices
Language:C60
ElifUskuplu/2LTT-Agda
Formalization of 2LTT in Agda
Language:Agda3 0 00
ElifUskuplu/narya
A proof assistant for higher-dimensional type theory
Language:OCaml3 0 00
ElifUskuplu/agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell00
ElifUskuplu/agda-unimath-elif
Univalent mathematics in Agda
Language:Agda00
ElifUskuplu/elifuskuplu.github.io
Personal websites
Language:JavaScript00