ct

math

My attempt to better understand both Coq and Category Theory by formalizing the latter in the former.

How to download and setup ct

Open terminal and run command

git clone https://github.com/relrod/ct.git

git clone is used to create a copy or clone of ct repositories. You pass git clone a repository URL.
it supports a few different network protocols and corresponding URL formats.

Also you may download zip file with ct https://github.com/relrod/ct/archive/master.zip

Or simply clone ct with SSH

[email protected]:relrod/ct.git

If you have some problems with ct

You may open issue on ct support forum (system) here: https://github.com/relrod/ct/issues

Similar to ct repositories

Here you may see ct alternatives and analogs

freeCodeCamp freecodecamp.cn mathjs gpu.js sympy Surge simple-statistics mlcourse.ai libchaos cute_headers mathnet-numerics stdlib RandomKit mathquill osmnx math-php Euler stats phobos sage-archive-2023-02-01 Project-Euler-solutions swix pragmatapro expr-eval Sophus long.js primesieve libRmath.js symengine AlgebraicEngine-Fraction