mathematical-logic topic
hezarfen
a theorem prover for intuitionistic propositional logic in Idris, with metaprogramming features
path_semantics
A research project in path semantics, a re-interpretation of functions for expressing mathematics
stanford-introduction-to-mathematical-thinking
Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
GeeksForGeeks_DSA_Course_Solutions
💻 My solutions to the course problems and other related problems. Blog: www.thecoducer.com
Mathematical-Logic
数理逻辑
slate
The Slate Interactive Theorem Prover
forallx-yyc
UCalgary version of forallx, an introduction to formal logic
I2DM
The lecture notes for my discrete mathematics classes.
pmGenerator
An exhaustive condensed detachment formal proof generator for Hilbert systems in proof theory.