2 results found Sort:

advancedresearch
path_semantics advancedresearch
11
168
mit
19
A research project in path semantics, a re-interpretation of functions for expressing mathematics
research type-theory mathematical-logic
Created 2015-06-05
3,523 commits to master branch, last one 4 days ago
adyavanapalli
stanford-introduction-to-mathematical-thinking adyavanapalli
31
112
unlicense
4
Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)
logic coursera stanford number-theory real-analysis mathematical-logic mathematical-thinking
Created 2017-04-07
33 commits to master branch, last one 3 months ago