search

tirix / metamath-blueprints

Metamath Blueprints
4 stars 4 forks source link

Add documentation explaining what values are possible #5

Closed metakunt closed 6 months ago

metakunt commented 6 months ago

Added some documentation mentioned in https://github.com/tirix/metamath-blueprints/pull/4

metakunt commented 6 months ago

To be honest I don't understand the difference between Draft and ReadyForStmt and how they will relate in the blueprint. This more or less serves as some documentation to be further improved, so that it can't be that easily forgotten