Giters

Actyx / cambria

Geek Repo:Geek Repo

Github PK Tool:Github PK Tool

testing

dvc94ch opened this issue · comments

commented
  • verify theorems with proptest
  • fuzz test against idris model
  • finish holes in proof