Stream:
Isabelle/ML
Topic:
✔ Using facts proved in Isabelle/ML
Notification Bot
(Apr 28 2022 at 08:55)
:
Ciarán Dunne
has marked this topic as resolved.
Last updated: Jul 15 2022 at 23:21 UTC