Tags

Tags give the ability to mark specific points in history as being important

v0.2.3

bda5a91d · tagging v0.2.3 · Jun 10, 2026
```
version number 0.2.3
```
v0.2.2

21fabc1b · tagging 0.2.2 · Jun 08, 2026
```
version number 0.2.2
```
v0.2.1

b9876d04 · tagging 0.2.1 · Jun 05, 2026
```
version number 0.2.1
```
v0.2.0

3100f8d5 · tagging · Jun 04, 2026
```
version number 0.2.0
```
v0.1.3

80fcfa36 · version number 0.1.3 | warning : bug w/ simp_all! + arith in 10_racine_carree... · Mar 12, 2026
```
version 0.1.3 -> expe rodin
```
v0.1.2

942b1e84 · exact sometimes fails to discharge to grind ; some deprecated toSubstring,... · Jan 30, 2026
```
Version 0.1.2
```
v0.1.1

e20c9f11 · expliciter intro exists · Jun 13, 2025
```
revision v0.1.1
```
v0.1.0

160fdaa1 · readme · May 27, 2025
```
first usable version
```