Poussin is a proof assistant based on an extension of the Calculus of Construction with inductive types.
Use Patent Claims
Include Install Instructions
These details are provided for information only. No information here is legal advice and should not be used as such.