Add "run file.poi" to execute files as Poi-Reduce scripts - Githubissues

advancedresearch / poi

a pragmatic point-free theorem prover assistant

Apache License 2.0

136 stars 7 forks source link

Add "run file.poi" to execute files as Poi-Reduce scripts #1029

Open bvssvni opened 3 years ago