computational-type-theory

There are 0 repository under computational-type-theory topic.

• TOTBWF / muprl

  A small NuPRL style proof assistant

  proof-assistantnuprlcomputational-type-theory
  Language:Haskell 32