Zero-Knowledge Proof systems: A Deep Dive from Foundations to Frontiers
-
Updated
Aug 1, 2025 - Rust
#
proof-systems
Here are 5 public repositories matching this topic...
Pravda is a tool for teaching formal logic.
logic first-order-logic hilbert propositional-logic natural-deduction educational-project educational-software sequent-calculus proof-systems
-
Updated
Mar 14, 2024 - TypeScript
A list of tools for teaching logic
education list logic model-checking logic-programming sat-solver modal-logic multi-agent-systems educational-project proof-systems
-
Updated
Aug 31, 2025
In this repository you can find all of my assignments for Formal Specification and Verification of Programs Course when I was in 1st semester of my master's at SUT.
logic first-order-logic formal-methods formal-verification z formal-specification z-notations equational-reasoning z-notation proof-systems equational-logic
-
Updated
Aug 9, 2022 - TeX
a collection of rulesets for qbar and other automated proof frameworks
-
Updated
Jun 30, 2021
Improve this page
Add a description, image, and links to the proof-systems topic page so that developers can more easily learn about it.
Add this topic to your repo
To associate your repository with the proof-systems topic, visit your repo's landing page and select "manage topics."