Skip to content

Tags: jsoares/specs

Tags

prevspec

Toggle prevspec's commit message

Verified

This commit was created on GitHub.com and signed with GitHub’s verified signature. The key has expired.
GPG key ID: 4AEE18F83AFDEB23
Expired
Verified
Learn about vigilant mode 
Merge pull request filecoin-project#455 from filecoin-project/post-in…

…put-types

use sensical types in GeneratePoSt and VerifyPoSt pseudocode