Topic: "proof-systems"
francoisschwarzentruber/tools-for-teaching-logic
A list of tools for teaching logic
Size: 17.6 KB - Last synced at: 2 months ago - Pushed at: almost 2 years ago - Stars: 2 - Forks: 0
joulook/Formal-Specification-and-Verification-of-Programs-Fall-2020
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.
Language: TeX - Size: 5.13 MB - Last synced at: over 1 year ago - Pushed at: over 2 years ago - Stars: 0 - Forks: 0
bhgomes/rulesets
a collection of rulesets for qbar and other automated proof frameworks
Size: 17.6 KB - Last synced at: about 1 month ago - Pushed at: almost 4 years ago - Stars: 0 - Forks: 0
