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
Pravda is a tool for teaching formal logic.
A list of tools for teaching logic
a collection of rulesets for qbar and other automated proof frameworks
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.
Add a description, image, and links to the proof-systems topic page so that developers can more easily learn about it.
To associate your repository with the proof-systems topic, visit your repo's landing page and select "manage topics."