Awesome Open Source
Search
Programming Languages
Languages
All Categories
Categories
About

The Top 8 Tutorials Coq Open Source Projects

Open source projects categorized as Tutorials Coq
Pnp ⭐ 107
Lecture notes for a short course on proving/programming in Coq via SSReflect.
most recent commit 3 years ago
Metalib ⭐ 68
The Penn Locally Nameless Metatheory Library
most recent commit 5 months ago
Iris Simp Lang ⭐ 42
We define a simple programming language, simp_lang, then instantiate Iris to verify simple simp_lang programs with concurrent separation logic.
most recent commit 4 months ago
Ltac2 Tutorial ⭐ 33
Ltac2 tutorial
most recent commit a year ago
Coq Tutorial Ml Tactics ⭐ 22
A tutorial on how to write OCaml tactics for the Coq proof assistant
most recent commit 7 years ago
Tutorial_material ⭐ 16
proof script associated to tutorial material
most recent commit 6 months ago
Hoare Tut ⭐ 11
A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]
most recent commit 2 years ago
Coq Tutorial ⭐ 6
coq-tutorial
most recent commit 4 years ago
Popular Mathematics Categories
Random
Mathematics
Numpy
Geometry
Measurements
Tensor
Probability
Algebra
Matrices
Theano
Categories
Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.

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