Une maintenance aura lieu demain Jeudi 19/03/2026. Le service sera indisponible de 12h30 à 13h30.

Tags

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

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
```