enjoysmath/CoqChaser enjoysmath/CoqChaser

  • Stars
    star
    1
  • Language
    C++
  • License
    GNU General Publi...
  • Updated about 2 years ago
Twitter logo Share LinkedIn logo Share Facebook logo Share
enjoysmath/CoqChaser
github

enjoysmath

Reviews

There are no reviews yet. Be the first to send feedback to the community and the maintainers!

Repository Details

CoqChaser is a tool for students of the diagram-chase proof method, so in essence students of Category Theory, Homological Algebra, Topos Theory, or anything having to do with a lot of commutative diagrams (CD's).

More Repositories

1

QuiverDatabase

JavaScript
8
star
2

Dots

Dots = D Object-oriented Type System. Dots is a type-system implemented in the C++ successor language called D, and this is its homepage (for now).
D
4
star
3

abstract-spacecraft

BananaCats is a category theory study tool.
Python
2
star
4

Marked-KaTeX-example-cpp

Trying to get a working example of KaTeX rendering as well as Markdown insided of a QWebEngineView (Qt "Widgets" framework).
C++
2
star
5

MathDOPE_

DatabaseOfProofsEngine is a web application for students & researchers of math that are studying arrow-theoretic topics.
JavaScript
2
star
6

DiagramChasingGames

Diagram Chasing Games is a nexus of category / homological / arrow-theoretic games you can play to teach yourself these abstract math areas.
JavaScript
2
star
7

commutative-diagram-designer

Diagram chaser kernel for Abelian categories.
C++
1
star