formal-logic topic

List formal-logic repositories

discrete-math-course

25
Stars
5
Forks
Watchers

:milky_way: Supplementary materials for Discrete Math course at ITMO University

logicola

53
Stars
3
Forks
53
Watchers

LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.