remimorvan / knowledge-clusteringLinks
Clustering notions for the knowledge LaTeX package
☆17Updated 3 weeks ago
Alternatives and similar repositories for knowledge-clustering
Users that are interested in knowledge-clustering are comparing it to the libraries listed below
Sorting:
- CoDi: Commutative Diagrams for TeX☆31Updated last year
- Categorical Logic Notes☆78Updated 3 years ago
- Mirror of ocaml-forester☆45Updated last year
- A collaborative environment for formal, interoperable, conceptual modeling☆79Updated this week
- A collection of tools for writing technical documents that mix Coq code and prose.☆263Updated 4 months ago
- A program for making zooming slides in figma.☆37Updated 3 months ago
- Mathlib search tool☆93Updated 2 weeks ago
- A Lean file formatter☆68Updated 2 years ago
- Helper toolkit for creating your own Lean 4 UserWidgets☆144Updated 3 weeks ago
- ☆115Updated 11 months ago
- My mathematical Zettelkasten, created using forester. Moved to sourcehut.☆86Updated last month
- This is the repository for the Clowder project, an online collaborative resource for category theory and mathematics in general☆29Updated this week
- ☆48Updated last year
- Materials for the course "theorem prover lab: applications in programming languages" at KIT, SS2022 edition☆20Updated 2 years ago
- Graphical rewriting for diagrammatic reasoning in monoidal categories in Lean4☆27Updated last year
- LaTeX package for automatically putting proof environments in appendix☆26Updated last year
- An English translation of the Séminaire de Géométrie Algébrique du Bois Marie☆33Updated 4 months ago
- A library of results from Social Choice Theory, formalized in the Lean Theorem Prover.☆25Updated 3 years ago
- Mathport is a tool for porting Lean3 projects to Lean4☆44Updated 7 months ago
- Natural language tactics to teach mathematics using Lean 4☆79Updated last month
- plasTeX plugin to build formalization blueprints.☆220Updated last month
- Lean documentation authoring tool☆180Updated this week
- Very controlled natural language tactics for Lean☆64Updated last year
- Overview of tactics in Lean 4 for beginners — longer version☆84Updated this week
- Logic and Mechanized Reasoning☆104Updated 4 months ago
- My basic LaTeX macros and BibTeX file.☆13Updated 2 years ago
- Notes on how to use the internal language of toposes in algebraic geometry☆58Updated last week
- A digital archive of category theory papers.☆30Updated last year
- Markdown file of the list and explanations of all mathlib4 tactics☆42Updated last year
- Lean for the Curious Mathematician 2020☆67Updated last year