GitHub repository: Inferno-Inc/precise-proofs
Description: EWF Origin's proof-of-concept precise proofs implementation and demos