Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About
Search results for formalization
formalization
x
16 search results found
Hott Intro
⭐
169
An introductory course to Homotopy Type Theory
Geocoq
⭐
157
A formalization of geometry in Coq based on Tarski's axiom system
Smoosh
⭐
98
The Symbolic, Mechanized, Observable, Operational SHell: an executable formalization of the POSIX shell standard.
Formal Type Theory
⭐
72
Formalising Type Theory in a modular way for translations between type theories
Bonak
⭐
26
🧊 An indexed construction of semi-simplicial and semi-cubical types
System F
⭐
18
Formalization of the polymorphic lambda calculus and its parametricity theorem
Coq Guarded Computational Type Theory
⭐
17
Autosubst2
⭐
13
Official repository of the Autosubst 2 project.
Cwfs
⭐
9
Formalization of Categories with Families
Telegram Mtproto2 Verification
⭐
9
Formal Verification of Telegram's MTProto 2.0
Math Formalizations
⭐
8
Formalization of some elementary mathematical theories in Coq
Core Erlang Formalization
⭐
8
Ualib.github.io
⭐
7
The Agda Universal Algebra Library (UALib) is a library of types and programs (theorems and proofs) that formalizes the foundations of universal algebra in dependent type theory using the Agda proof assistant language.
Coq Wigderson
⭐
7
Formalization of Wigderson's graph coloring algorithm in Coq
Two Level
⭐
5
Two-Level Type Theory
Agda Lvo
⭐
5
large veblen ordinal in agda
Related Searches
Tex Formalization (5)
Agda Formalization (5)
Calculus Formalization (4)
Lambda Calculus Formalization (4)
Type Theory Formalization (4)
Haskell Formalization (3)
1-16 of 16 search results
Privacy
|
About
|
Terms
|
Follow Us On Twitter
Copyright 2018-2024 Awesome Open Source. All rights reserved.