arl-in-coq

Abstract Reachability Logic specified in Coq

Name	Name	Last commit message	Last commit date
Latest commit traiansf Forgot to add Lists.v Jun 23, 2023 642f9a4 · Jun 23, 2023 History 15 Commits
slides	slides	Slides done?	Jan 25, 2023
theories/ARL	theories/ARL	Forgot to add Lists.v	Jun 23, 2023
.gitignore	.gitignore	Basic theory for transition systems	Dec 22, 2022
LICENSE	LICENSE	Initial commit	Dec 22, 2022
Makefile	Makefile	Basic theory for transition systems	Dec 22, 2022
README.md	README.md	Update readme	Jan 17, 2023
_CoqProject	_CoqProject	Introduced ConstrainedTerms. Refactored RewriteRules. More on Matching	May 4, 2023
coq-arl.opam	coq-arl.opam	Restructured	Jan 24, 2023
dune-project	dune-project	Restructured	Jan 24, 2023

Provide feedback