Stream: General

Topic: proofterm.ML

view this post on Zulip Lukas Stevens (Oct 22 2020 at 08:42):

Are there any resources/examples/case studies on the module src/Pure/proofterm.ML?

Last updated: Oct 27 2025 at 20:21 UTC