Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for type theory proof assistant
proof-assistant
x
type-theory
x
17 search results found
Agda
⭐
2,281
Agda is a dependently typed programming language / interactive theorem prover.
Proofs
⭐
278
My personal repository of formally verified mathematics.
Sml Redprl
⭐
214
The People's Refinement Logic
Cooltt
⭐
206
😎TT
Redtt
⭐
183
"Between the darkness and the dawn, a red cube rises!": a proof assistant for cartesian cubical type theory
Ditto
⭐
130
A Super Kawaii Dependently Typed Programming Language
Sasylf
⭐
67
Educational Proof Assistant for Type Theory
Mlang
⭐
60
Towards changing things and see if it proofs
Miniprl
⭐
48
A small implementation of a proof refinement logic.
Pudding Old
⭐
39
A language-integrated proof assistant, for and in Racket
Peppermint Prover
⭐
35
Experimental proof assistant (and architecture) for dependent linear logic
Algaett
⭐
27
🦠 An experimental elaborator for dependent type theory using effects and handlers
Mugen
⭐
24
♾️ A library for universe levels and universe polymorphism
Kado
⭐
18
🧊 kado カド: Cofibrations in Cartesian Cubical Type Theory
Prooftoys
⭐
9
Interactive, web-based visual math assistant
Isabelle Spartan
⭐
6
A dependent type theory logic for Isabelle
Two Level
⭐
5
Two-Level Type Theory
Related Searches
Types Type Theory (84)
Agda Type Theory (43)
Haskell Type Theory (31)
Coq Type Theory (31)
Coq Proof Assistant (30)
Dependent Types Type Theory (28)
Programming Language Type Theory (27)
Calculus Type Theory (23)
Language Type Theory (22)
Ocaml Proof Assistant (20)
1-17 of 17 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.