Sign inSign up

olligobber/ProofCheck

Proof Checker for a system of Propositional Logic

PureScriptStars 0Forks 0Watchers 0Open issues 17License Apache License 2.0
Details
仓库信息
Ownerolligobber
Homepagehttps://olligobber.github.io/ProofCheck/
GitHubhttps://github.com/olligobber/ProofCheck
Last pushed2022-10-09
Last updated2025-12-15
Issues fetched at—

Stats

Community at a glance

Loading...

Loading

--

Loading

--

Loading

--

Loading

--