Awesome Open Source

Programming Languages

Search results for coq formalization

formalization x

10 search results found

Hott Intro ⭐ 169

An introductory course to Homotopy Type Theory

A formalization of geometry in Coq based on Tarski's axiom system

Formal Type Theory ⭐ 72

Formalising Type Theory in a modular way for translations between type theories

🧊 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.

Math Formalizations ⭐ 8

Formalization of some elementary mathematical theories in Coq

Core Erlang Formalization ⭐ 8

Coq Wigderson ⭐ 7

Formalization of Wigderson's graph coloring algorithm in Coq

Related Searches

Ocaml Coq (164)

Haskell Coq (63)

Definition Coq (53)

Calculus Coq (50)

Coq Mathcomp (38)

Coq Type Theory (31)

Coq Proof Assistant (30)

1-10 of 10 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.