Symmetrybook

This book will be an undergraduate textbook written in the univalent style, taking advantage of the presence of symmetry in the logic at an early stage.

Categories > Orbit

Suggest Alternative

Stars

349

License

cc-by-sa-4.0

Open Issues

Most Recent Commit

4 months ago

Programming Language

HTML

Categories

Web User Interface > Html

Programming Languages > Types

Repo

Suggest An Alternative To SymmetryBook

Get A Weekly Email With Trending Projects For These Categories

No Spam. Unsubscribe easily at any time.

Html

Types

Privacy | About | Terms | Follow Us On Twitter

Downloads, Dependent Repos, Dependent Packages, Total Releases, Latest Releases data powered by Libraries.io.