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

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.