Matteo Manighetti 7ae65be566 Upgrade sessions to use Alt-Ergo 2.6.0

2025-01-14 19:48:35 +01:00

..

avl

coma: simplify examples

2024-10-17 20:00:12 +02:00

binary_search

coma: simplify examples

2024-10-17 20:00:12 +02:00

bst

coma: simplify examples

2024-10-17 20:00:12 +02:00

fact

Upgrade sessions to use Alt-Ergo 2.6.0

2025-01-14 19:48:35 +01:00

insertion

coma: simplify examples

2024-10-17 20:00:12 +02:00

journal

Upgrade sessions to use Alt-Ergo 2.6.0

2025-01-14 19:48:35 +01:00

map

coma: simplify examples

2024-10-17 20:00:12 +02:00

mult

coma: simplify examples

2024-10-17 20:00:12 +02:00

post_incr

coma: simplify examples

2024-10-17 20:00:12 +02:00

product

coma: simplify examples

2024-10-17 20:00:12 +02:00

re

Upgrade sessions to use Alt-Ergo 2.6.0

2025-01-14 19:48:35 +01:00

rev_append

coma: simplify examples

2024-10-17 20:00:12 +02:00

tree

coma: simplify examples

2024-10-17 20:00:12 +02:00

avl.coma

coma: simplify examples

2024-10-17 20:00:12 +02:00

binary_search.coma

binary_search coma: lo <= hi is an invariant

2024-10-10 14:19:22 +02:00

bst.coma

coma: simplify examples

2024-10-17 20:00:12 +02:00

fact.coma

coma: added examples

2024-08-08 11:09:46 +02:00

insertion.coma

coma: update stdlib + examples

2024-08-08 11:09:46 +02:00

journal.coma

coma: simplify examples

2024-10-17 20:00:12 +02:00

map.coma

coma: added examples

2024-08-08 11:09:46 +02:00

mult.coma

coma: simplify examples

2024-10-17 20:00:12 +02:00

post_incr.coma

coma: simplify examples

2024-10-17 20:00:12 +02:00

product.coma

coma: simplify examples

2024-10-17 20:00:12 +02:00

re.coma

coma: simplify examples

2024-10-17 20:00:12 +02:00

rev_append.coma

coma: update stdlib + examples

2024-08-08 11:09:46 +02:00

tree.coma

coma: simplify examples

2024-10-17 20:00:12 +02:00