UniMath/SymmetryBook

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

HTML443 stars27 forksCC-BY-SA-4.0

Rankings

Daily

#6328

Weekly

#11068

Monthly

#11922

Total stars

Daily new stars

Get badge

This repository is tracked by Trending Repos. The badge upgrades automatically if it ever cracks the top 100.

Markdown

![Trending Repos](https://trending-repos.com/badge/UniMath/SymmetryBook.svg)

HTML

<img src="https://trending-repos.com/badge/UniMath/SymmetryBook.svg" alt="Trending Repos" />

Raw URL

https://trending-repos.com/badge/UniMath/SymmetryBook.svg