Questions tagged [zenon]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
0 votes
0 answers

How to check a Zenon-generated proof with Coq?

I installed zenon (opam package, github) and tried to use it to generate a Coq proof. I couldn't find any documentation for the Zenon's main syntax, so I looked at its test suite. I grabbed this test ...
Greg Nisbet's user avatar
  • 2,711