Skip to content

Commit

Permalink
First basic binding property proofs (and corresponding updates to def…
Browse files Browse the repository at this point in the history 
…initions).
  • Loading branch information
@MM45
MM45 committed Nov 11, 2024
1 parent 52b98b8 commit a3d5fef
Showing 1 changed file with 78 additions and 223 deletions.
Loading

0 comments on commit a3d5fef

Please sign in to comment.