Stream:
Coq users
Topic:
How to Tell Coq Recursion is Allowed Here
Julia Dijkstra
(Jan 11 2024 at 16:39)
:
(deleted)
Last updated: Oct 13 2024 at 01:02 UTC