formal-logic topic
List
formal-logic repositories
principia
199
Stars
5
Forks
Watchers
The Principia Rewrite
discrete-math-course
25
Stars
5
Forks
Watchers
:milky_way: Supplementary materials for Discrete Math course at ITMO University
logicola
41
Stars
1
Forks
Watchers
LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.