jonsterling/ocaml-forester

Mirror of ocaml-forester

jonsterling/JonPRL

An proof refinement logic for computational type theory. Inspired by Nuprl. [For up-to-date…

dunhamsteve/newt

A toy dependent typed language.

isovector/thinking-with-types

📖 source material for Thinking with Types

phadej/write-yourself-a-typed-functional-language

Write yourself a typed functional language

digama0/lean-type-theory

LaTeX code for a paper on lean's type theory

polytypic/f-omega-mu

Fωμ type checker and compiler

anton-trunov/coq-lecture-notes

Coq Lecture Notes (WIP)