diomidov

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

  Language:Lean11825

• edemaine/cocreate

  Cocreate Shared Whiteboard/Drawing

  Language:CoffeeScript21028

• edemaine/svgtiler-gui

  Prototype GUI for interactive SVG Tiler drawing

  Language:CoffeeScript41

• edemaine/svgtiler

  Tool for drawing diagrams on a grid, combining grids of SVGs into a big SVG figure

  Language:CoffeeScript586

• edemaine/coauthor

  Coauthor supercollaboration/discussion forum

  Language:CoffeeScript24833