BibTeX bibliographies for proof engineering-related papers
-
Updated
Jul 24, 2019 - TeX
#
proof-engineering
Here are 4 public repositories matching this topic...
REPLICA: REPL Instrumentation for Coq Analysis
analytics analysis repl coq replica user-study coq-plugin coq-ecosystem read-eval-print-loop user-study-tool proof-engineering
-
Updated
Jan 2, 2020 - Python
Solving software verification exercises using Athena
-
Updated
Sep 7, 2022
Artifact for "Proof Repair across Quotient Type Equivalences" paper (under submission)
-
Updated
Mar 3, 2024 - Agda
Improve this page
Add a description, image, and links to the proof-engineering topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the proof-engineering topic, visit your repo's landing page and select "manage topics."