Projects in Awesome Lists tagged with boring-math

A curated list of projects in awesome lists tagged with boring-math .

• Sort

  • Recently synced
  • Stars

https://github.com/jozefg/independence-of-the-continuum-hypothesis

Some notes on the independence of the continuum hypothesis.

boring-math topos-theory

Last synced: 23 Mar 2025

https://github.com/jozefg/fibrational-semantics

Notes on simple fibrational semantics.

boring-math fibrations semantics

Last synced: 23 Mar 2025