SOURCE RECORD · github
Basically Archimedes Ships, but with VS2 as the backend
Open canonical source ↗
Research paper status → · Book status →