Skip to the content.

Formal Verification of BLR PCP

by yuxi-zheng

Blueprint (web) Blueprint (pdf) Documentation GitHub

Useful links:

Zulip chat for Lean
Blueprint
Blueprint as pdf
Dependency graph
Doc pages for this repository

blr-pcp-formal-verification is maintained by yuxi-zheng. Visit the GitHub repository for more information.