Top 2 mathematical-logic open source projects

Keith Devlin's Introduction to Mathematical Thinking course on Coursera (2017 Spring)

A research project in path semantics, a re-interpretation of functions for expressing mathematics