suzanne.soy/cur
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

Exported some convenience features

Browse Source
This commit is contained in:
William J. Bowman 2015-09-23 16:22:05 -04:00
parent a4ca0c5671
commit 9055662a5d
No known key found for this signature in database
GPG Key ID: DDD48D26958F0D1A
1 changed files with 2 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
stdlib/tactics/base.rkt
View File

@ -13,6 +13,8 @@
proof-state-proof
proof-state-theorem
new-proof
proof?
complete-proof?
new-proof-state
proof-state-proof-complete?
proof-state-goal-ref