search

IntersectMBO / plutus

The Plutus language implementation and tools
Apache License 2.0
1.57k stars 479 forks source link

Compiler Certification Semantic Equivalence Proofs #6611

Open ramsay-t opened 4 weeks ago

ramsay-t commented 4 weeks ago

This will need a number of stages: