mathematical-logic topic
List
mathematical-logic repositories
hezarfen
118
Stars
3
Forks
Watchers
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
path_semantics
160
Stars
13
Forks
Watchers
A research project in path semantics, a re-interpretation of functions for expressing mathematics
stanford-introduction-to-mathematical-thinking
105
Stars
31
Forks
Watchers
Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
GeeksForGeeks_DSA_Course_Solutions
90
Stars
38
Forks
Watchers
💻 My solutions to the course problems and other related problems. Blog: www.thecoducer.com
Mathematical-Logic
23
Stars
1
Forks
Watchers
数理逻辑
slate
23
Stars
1
Forks
Watchers
The Slate Interactive Theorem Prover
forallx-yyc
61
Stars
25
Forks
Watchers
UCalgary version of forallx, an introduction to formal logic
I2DM
18
Stars
6
Forks
Watchers
The lecture notes for my discrete mathematics classes.