GitLab

This reverts commit a9f50489.

This reverts commit f4a6ea09.

Improve notations for functions

See merge request !23

We use fnrec: for recursive functions and fn: for non-recursve functions. This is both shorter and closer to Rust.

Update iris dependency

See merge request !22

using Tej's script from iris!594 (comment 60292)

add GhostCell proof

See merge request !19