Skip to content

enjoysmath/abstract-spacecraft

Repository files navigation

Abstract Spacecraft

Abstract spacecraft is a way for mathematicians to view and organize mathematics.
It is a visual language in which rules of logic are encoded and applied.

About

BananaCats is a category theory study tool.

Resources

License

Stars

Watchers

Forks

Packages

No packages published

Languages