edemaine / coauthorLinks
Coauthor supercollaboration/discussion forum
☆262Updated 2 weeks ago
Alternatives and similar repositories for coauthor
Users that are interested in coauthor are comparing it to the libraries listed below
Sorting:
- Cocreate Shared Whiteboard/Drawing☆216Updated last month
- Multiroom meeting app integrating web tools☆47Updated 11 months ago
- Listing of online math seminars☆43Updated 9 months ago
- Fungrim: the Mathematical Functions Grimoire☆123Updated 3 years ago
- Responsive, animated figures in JavaScript/HTML canvases☆134Updated last month
- ☆42Updated 4 years ago
- Madoko is a fast markdown processor for high quality academic and technical articles☆398Updated 9 months ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆404Updated last year
- ☆164Updated 5 years ago
- The simple essence of automatic differentiation☆200Updated 4 years ago
- A LaTeX Typesetting Game☆252Updated 2 months ago
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆56Updated 6 years ago
- Lean Library currently studying for a degree at Imperial College☆226Updated 4 months ago
- PreTeXt: an authoring and publishing system for scholarly documents☆292Updated last week
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆264Updated 6 months ago
- Repository for the QED interactive text and possible extensions☆102Updated 5 months ago
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 7 months ago
- 💧 Liquid Tensor Experiment☆201Updated last year
- A GNU Social-compatible microblogging server☆34Updated last month
- plasTeX plugin to build formalization blueprints.☆220Updated last month
- Instructions and license for Detexify's sample data☆283Updated 3 years ago
- A framework for applied category theory in the Julia language☆664Updated last month
- List of links of techniques to help enhance mathematical notation☆186Updated 8 months ago
- a categorical deep learning compiler☆202Updated 4 months ago
- An interactive theorem prover for string diagrams☆118Updated 8 months ago
- Write LaTeX theorems in Pandoc Markdown☆75Updated last year
- Some fun examples of solving problems with symbolic execution☆114Updated 6 years ago
- The Principia Rewrite☆223Updated 4 months ago
- Book in preparation: introduction to theoretical computer science☆966Updated last year
- ☆115Updated 11 months ago