The task of formalization is to turn informal descriptions into some formally correct and automatically checkable format.
If you want to change selection, open document below and click on "Move attachment"
pdf
owner:
trevyn - (no access) - Szegedy2020_Chapter_APromisingPathTowardsAutoforma.pdf, p2
Summary
status | not read | | reprioritisations | |
---|
last reprioritisation on | | | suggested re-reading day | |
---|
started reading on | | | finished reading on | |
---|
Details