Awesome Open Source

Programming Languages

Search results for tex coq

9 search results found

Principia ⭐ 193

The Principia Rewrite

🧊 An indexed construction of semi-simplicial and semi-cubical types

Session Types Coq ⭐ 14

Formalising session types in Coq

Coq Procrastination ⭐ 12

A small Coq library for collecting side conditions and deferring their proof

Algebraically Indexed Types ⭐ 11

Repository for documents and experiments to do with algebraically-indexed types

Modallibrary ⭐ 11

Modal Logic Library in Coq

Casper Proofs ⭐ 8

Coq definitions and lemmas for verification of Casper

Constructingii ⭐ 7

Constructing Inductive-Inductive types in Cubical Type Theory

System Fc Coq ⭐ 6

Related Searches

Tex Latex (5,332)

Tex Thesis (1,478)

Tex Paper (821)

Python Tex (552)

Tex University (480)

Tex Xelatex (439)

Tex Bibtex (403)

Markdown Tex (392)

1-9 of 9 search results

Privacy | About | Terms | Follow Us On Twitter

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