Ecosyste.ms: Awesome

An open API service indexing awesome lists of open source software.

https://github.com/forked-from-1kasper/principia

formal-languages logic mathematics metamath proof-assistant theorem-prover

Last synced: 4 days ago
JSON representation

Principia: Metamath-like Logician Language

Host: GitHub
URL: https://github.com/forked-from-1kasper/principia
Owner: forked-from-1kasper
Created: 2022-03-21T13:41:33.000Z (over 2 years ago)
Default Branch: master
Last Pushed: 2022-04-06T12:47:27.000Z (over 2 years ago)
Last Synced: 2023-03-05T04:07:19.746Z (over 1 year ago)
Topics: formal-languages, logic, mathematics, metamath, proof-assistant, theorem-prover
Language: OCaml
Homepage:
Size: 126 KB
Stars: 1
Watchers: 2
Forks: 0
Open Issues: 0