Commit 2023-06-18 08:20 2fc29d28

View on Github →

feat: port Archive.Examples.PropEncodable (#5098)

Estimated changes

Modified Archive.lean

Created Archive/Examples/PropEncodable.lean

added inductive PropEncodable.PropForm