remimorvan / knowledge-clusteringLinks
Clustering notions for the knowledge LaTeX package
☆17Updated 3 months ago
Alternatives and similar repositories for knowledge-clustering
Users that are interested in knowledge-clustering are comparing it to the libraries listed below
Sorting:
- A collection of tools for writing technical documents that mix Coq code and prose.☆267Updated last week
- The collected works of F. W. Lawvere☆360Updated 11 months ago
- ☆165Updated 5 years ago
- ☆258Updated 6 months ago
- A digital archive of category theory papers.☆31Updated last month
- Course materials for Chalmers TPIL25 class☆14Updated 6 months ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆151Updated 2 weeks ago
- Logic and Mechanized Reasoning☆105Updated last month
- Logical manifestations of topological concepts, and other things, via the univalent point of view.☆261Updated this week
- Markdown file of the list and explanations of all mathlib4 tactics☆48Updated last year
- The agda-unimath library☆263Updated this week
- Source code for the nLab☆183Updated 5 months ago
- HoTTEST Summer School materials☆311Updated 2 months ago
- A program for making zooming slides in figma.☆38Updated 2 months ago
- A new Categories library for Agda☆385Updated this week
- A formalised, cross-linked reference resource for mathematics done in Homotopy Type Theory☆393Updated this week
- plasTeX plugin to build formalization blueprints.☆235Updated 2 months ago
- Tree Proof Generator☆169Updated 6 months ago
- Scientific computing in Lean 4☆426Updated 2 months ago
- CoDi: Commutative Diagrams for TeX☆31Updated last month
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆88Updated 3 months ago
- Construction of a Brownian Motion in Lean☆20Updated this week
- A formal logic framework that runs in the browser☆299Updated 8 months ago
- ☆87Updated last week
- amateur translation project of Grothendieck's EGA.☆356Updated 10 months ago
- Attracting mathematicians (others welcome too) with no experience in proof verification interested in HoTT and able to use Agda for HoTT☆130Updated 2 weeks ago
- LaTeX Styles provided by Dagstuhl Publishing☆37Updated 9 months ago
- Natural language tactics to teach mathematics using Lean 4☆90Updated last month
- Server to host lean games.☆311Updated this week
- Categorical Logic Notes☆80Updated 3 years ago