5 Commits

Author	SHA1	Message	Date
Matteo Manighetti	7ae65be566	Upgrade sessions to use Alt-Ergo 2.6.0	2025-01-14 19:48:35 +01:00
Loïc Correnson	e2afddb11d	Resolve "Add injectivity for type invariant"	2024-01-31 13:02:13 +00:00
Claude Marche	9451890c1f	updated sessions	2023-08-24 16:29:59 +02:00
Andrei Paskevich	fe3bf96cd1	stdlib: proper postcondition for (=) on bounded integers	2023-06-17 00:16:27 +00:00
Guillaume Melquiond	7574bfe84e	Clean standard library.	2021-01-29 18:34:19 +01:00