GitHub - abuhadi-80/abuhadi-80.github.io: 🔗 Formalize the Exchange Protocol in Lean 4 with structured schemas, ensuring well-formedness and consistency for efficient data handling.

abuhadi-80 / abuhadi-80.github.io Public

🔗 Formalize the Exchange Protocol in Lean 4 with structured schemas, ensuring well-formedness and consistency for efficient data handling.

github.com/abuhadi-80/ExchangeProtocol

Notifications

Name		Name	Last commit message	Last commit date
Latest commit History 2 Commits
garibaldi		garibaldi
index.md		index.md

About

🔗 Formalize the Exchange Protocol in Lean 4 with structured schemas, ensuring well-formedness and consistency for efficient data handling.

github.com/abuhadi-80/ExchangeProtocol

No releases published

No packages published