diomidov's Stars
ImperialCollegeLondon/formalising-mathematics-2022
Lean 3 material for Kevin Buzzard's Jan-Mar 2022 course on formalising mathematics. Lean 4 version available here: https://github.com/ImperialCollegeLondon/formalising-mathematics-2024
edemaine/cocreate
Cocreate Shared Whiteboard/Drawing
edemaine/svgtiler-gui
Prototype GUI for interactive SVG Tiler drawing
edemaine/svgtiler
Tool for drawing diagrams on a grid, combining grids of SVGs into a big SVG figure
edemaine/coauthor
Coauthor supercollaboration/discussion forum