edemaine / coauthor
Coauthor supercollaboration/discussion forum
☆252Updated 2 months ago
Related projects ⓘ
Alternatives and complementary repositories for coauthor
- Cocreate Shared Whiteboard/Drawing☆209Updated 9 months ago
- Multiroom meeting app integrating web tools☆44Updated 4 months ago
- Fungrim: the Mathematical Functions Grimoire☆118Updated 2 years ago
- PreTeXt: an authoring and publishing system for scholarly documents☆267Updated this week
- Interactive Computer Algebra System. Augmenting how we *do* mathematics using computers☆54Updated 5 years ago
- The simple essence of automatic differentiation☆197Updated 3 years ago
- Thoughts on adjoint, norm and such.☆165Updated last year
- The extensible drawing editor Ipe☆203Updated last year
- Responsive, animated figures in JavaScript/HTML canvases☆128Updated last week
- A LaTeX Typesetting Game☆241Updated 6 months ago
- Listing of online math seminars☆41Updated 2 months ago
- "A First Course in Linear Algebra" open source textbook☆65Updated last month
- Lecture notes for a course on writing proofs, on paper and in the Lean proof assistant☆204Updated this week
- ☆41Updated 3 years ago
- Experiments in an explorable visual medium for mathematics☆256Updated 7 years ago
- List of links of techniques to help enhance mathematical notation☆180Updated 3 weeks ago
- A Learning Environment for Theorem Proving with the Coq proof assistant☆385Updated last year
- Repository for the QED interactive text and possible extensions☆96Updated 5 years ago
- Latex notes on papers, courses, ideas: Pure math and computer science.☆61Updated last year
- ☆335Updated 6 years ago
- ☆159Updated 5 years ago
- The Principia Rewrite☆206Updated 5 months ago
- A community database of topological counterexamples☆72Updated this week
- Convert graphs generated by Graphviz to LaTeX friendly formats☆151Updated 2 months ago
- Instructions and license for Detexify's sample data☆267Updated 3 years ago
- Detexify Backend written in Haskell☆889Updated 7 years ago
- Mathlingua is a language used to describe mathematical definitions, theorems, conjectures, and axioms in a way that can be easily written…☆68Updated last month
- My personal repository of formally verified mathematics.☆291Updated last week
- TikZJax is TikZ running under WebAssembly in the browser☆447Updated 4 months ago
- Companion files for Logical Verification 2020–2021 at VU Amsterdam☆95Updated 3 years ago