3 results found Sort:

LogicalAtomist
principia LogicalAtomist
5
212
gpl-3.0
16
The Principia Rewrite
coq latex logic formal-logic coq-ecosystem formal-proofs latex-packages formal-mathematics history-of-philosophy
Created 2020-09-27
71 commits to master branch, last one 2 days ago
malikpiara
logicola malikpiara
1
46
mit
2
LogiCola helps you learn logic. This is a web version of the original software built by the late Professor Harry Gensler.
logic quizapp learning logicola education elearning formal-logic
Created 2024-03-12
229 commits to main branch, last one 8 days ago
Lipen
discrete-math-course Lipen
4
35
gpl-3.0
4
:milky_way: Supplementary materials for Discrete Math course at ITMO University
tex homework cheatsheet set-theory formal-logic graph-theory combinatorics binary-relations discrete-mathematics
Created 2021-09-30
302 commits to master branch, last one about a month ago