Dot Iris

Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
Alternatives To Dot Iris
Project NameStarsDownloadsRepos Using ThisPackages Using ThisMost Recent CommitTotal ReleasesLatest ReleaseOpen IssuesLicenseLanguage
Concert105
2 months ago6mitCoq
A framework for smart contract verification in Coq
Dot Iris29
7 months ago9otherHTML
Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization
Calc Comp27
4 months agoCoq
Coq proofs for the paper "Calculating Correct Compilers"
Bonak26
2 months agomitTeX
🧊 An indexed construction of semi-simplicial and semi-cubical types
Graded Haskell23
9 months agomitCoq
Graded Dependent Type systems
Micro Policies Coq15
5 years ago1otherCoq
Coq formalization accompanying the paper: Micro-Policies: A Framework for Verified, Tag-Based Security Monitors
Regex Reexamined Coq14
2 years ago17apache-2.0Coq
Flp12
9 years agoCoq
Formalization of FLP Impossibility Theorem
Ledgertheory12
9 years agootherCoq
Algebraically Indexed Types11
10 years agoTeX
Repository for documents and experiments to do with algebraically-indexed types
Alternatives To Dot Iris
Select To Compare


Alternative Project Comparisons
Popular Coq Projects
Popular Paper Projects
Popular Mathematics Categories
Related Searches

Get A Weekly Email With Trending Projects For These Categories
No Spam. Unsubscribe easily at any time.
Html
Scala
Paper
Coq
Type Theory