Group the stack and heap kinds of pointers#22

Merged

clarus merged 3 commits intomainfrom guillaume-claret@experiment-join-pointers

May 21, 2024

+12,440-12,497

Commits on May 14, 2024

Print classes as records
clarus
committed

Commits on May 15, 2024

Progress on the proofs
clarus
committed

Commits on May 20, 2024

proof: group the two kinds of pointers, for stack and heap
clarus
committed