ElifUskuplu

Pinned Repositories

agda
Agda is a dependently typed programming language / interactive theorem prover.
Language:Haskell2.6k 65 5.6k367
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
plastexdepgraph
Dependency graph plugin for plasTeX
Language:Python01
Stlc_deBruijn
Simply Typed Lambda Calculus with de Bruijn indices
Language:C8 2 00
plastex
plasTeX is a Python package that processes LaTeX documents into an XML-DOM-like object which can be used to generate various types of output.
Language:Python299 21 19879
PG
This repo is the new home of Proof General
Language:Emacs Lisp499 13 54191

ElifUskuplu's Repositories

ElifUskuplu/Stlc_deBruijn
Simply Typed Lambda Calculus with de Bruijn indices
Language:C8 2 00
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
ElifUskuplu/plastexdepgraph
Dependency graph plugin for plasTeX
Language:Python01