Awesome Open Source

Programming Languages

Search results for tutorials coq

1 search results found

Lecture notes for a short course on proving/programming in Coq via SSReflect.

The Penn Locally Nameless Metatheory Library

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.

Ltac2 Tutorial ⭐ 33

Coq Tutorial Ml Tactics ⭐ 22

A tutorial on how to write OCaml tactics for the Coq proof assistant

Tutorial_material ⭐ 16

proof script associated to tutorial material

Hoare Tut ⭐ 11

A Tutorial on Reflecting in Coq the generation of Hoare proof obligations [maintainer=@k4rtik]

Coq Tutorial ⭐ 6

Related Searches

Javascript Tutorials (4,115)

Python Tutorials (3,780)

Jupyter Notebook Tutorials (2,795)

Html Tutorials (1,760)

Ocaml Coq (164)

Haskell Coq (63)

Definition Coq (53)

Calculus Coq (50)

Coq Mathcomp (38)

1-1 of 1 search results

Privacy | About | Terms | Follow Us On Twitter

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