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.

HTML452 stars30 forksCC-BY-SA-4.0

Momentum

UniMath/SymmetryBook has 452 GitHub stars.

It currently ranks #17414 daily, #18272 weekly, #9931 monthly by momentum on Trending Repos; its best-ever rank is #6368.

Trending Repos first recorded it on May 21, 2026.

Rankings

PeriodRankScore

Daily

#174140.0

Weekly

#182720.0

Monthly

#99310.0

How scoring works

Engagement

Total stars

Daily new stars

Embeds

Best rank #6368

Format

Markdown

[![UniMath/SymmetryBook badge](https://trending-repos.com/badge/UniMath/SymmetryBook.svg?v=3)](https://trending-repos.com/repositories/UniMath/SymmetryBook?utm_source=github&utm_medium=badge)

UniMath/SymmetryBook

Momentum

Rankings

Engagement

Similar trending repositories

Embeds

UniMath/SymmetryBook

Momentum

Rankings

Engagement

Similar trending repositories

Embeds