Skip to content

Commit 0145c08

Browse files
Isabelle9999Isabelle9999
committed
fix: wp_wasm_iProp_pure proved (zero sorry) + canonical PosTrie (Appel-Leroy)
1 parent 642bdc9 commit 0145c08

2 files changed

Lines changed: 1317 additions & 945 deletions

File tree

0 commit comments

Comments
 (0)