barry-jay-personal/tree-calculus

Proofs in Coq for the book Reflective Programs in Tree Calculus

Coq

205

35 commits

updated Jun 12, 2021

See the code

README

Tree_Calculus_Proofs

Proofs in Coq for the book Reflective Programs in Tree Calculus See Reflective_Programs.txt for more information. Contact me at barry.jay8@gmail.com about the book itself.

Contributors

barry-jay-personal

34 commits

palmskog

1 commits

Similar repos

barry-jay-personal/typed_tree_calculus

types for various combinatory systems, especialy tree calculi

same org

anton-trunov/coq-lecture-notes

Coq Lecture Notes (WIP)

jaalonso/Lecturas_GLC

Readings on computational logic, interactive theorem proving and functional programming.

foreverbell/verified

Coq formalizations and proofs of (data) structures and algorithms.

blanchette/interactive_theorem_proving_2024

Files associated with the course Interactive Theorem Proving at LMU SoSe 2024

coq-community/coq-art

Coq code and exercises from the Coq'Art book [maintainers=@ybertot,@Casteran]

129

cs3110/textbook

The CS 3110 Textbook, "OCaml Programming: Correct + Efficient + Beautiful"

940

ChloeL19/RLVF

Reinforcement Learning from Verifier Feedback in Coq

Languages

Coq

81.1%

Makefile

16.4%

Rust

2.5%