PoC: Getting Any, Text & numbers closure down to 35 modules
Unmerged
Merging wip/jtulach/ProofPrelude8852 into develop • View on GitHub0
Builds
0
Discussions
No activity yet. Complete setup to visualize this pull request. Learn more