Repositories tagged with "mathematical-logic"
path_semantics
advancedresearch
โA research project in path semantics, a re-interpretation of functions for expressing mathematicsโ
stanford-introduction-to-mathematical-thinking
adyavanapalli
โKeith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)โ
hezarfen
joom
โa theorem prover for intuitionistic propositional logic in Idris, with metaprogramming featuresโ
