Geeks
algebraic-logic
There are 2 repositories under algebraic-logic topic.
soimort/
some-proofs
Language:
Coq
2
3
0
1
kkeri/
prelog
Prototype of a programming calculus
Language:
TypeScript
1
1
0
0