diff options
| author | Son HO | 2023-03-31 08:12:39 +0200 |
|---|---|---|
| committer | GitHub | 2023-03-31 08:12:39 +0200 |
| commit | df2e79f88b04ae7bf43586eb83ea0461fb547b3b (patch) | |
| tree | ae3af3d9734d2fe48513cd88d1fe85c24003c1bb /tests/coq/betree/BetreeMain_Funs.v | |
| parent | 1535b37ae84ddb1d2679c19b8fcc734351e5ce5d (diff) | |
| parent | ee2a8066042cccb6baae9a6cf547d58462d1030e (diff) | |
Merge pull request #16 from dconnolly/patch-1
Update README about Coq backend support
Diffstat (limited to 'tests/coq/betree/BetreeMain_Funs.v')
0 files changed, 0 insertions, 0 deletions