0.2.6

New Issue

Allow hole filing ("Agda style") proof and expression generation
Add more serialization options
Allow for more robust bookkeeping

2023-10-25

100% Completed

Enable handling of m-Coupled goals

#20 by aniva was merged 2023-10-27 19:30:20 -07:00

goal/dependency

Companion Generation

#18 by aniva was closed 2023-10-28 16:38:06 -07:00

Bump Lean version to 4.1.0

#17 by aniva was merged 2023-10-05 21:52:38 -07:00

Remove dead code and consolidate error types

#5 by aniva was merged 2023-08-23 13:22:18 -07:00

Redundant error messages

#4 by aniva was closed 2023-08-23 13:22:30 -07:00 misc/cleanup

Dead code in proof tree

#3 by aniva was closed 2023-08-23 13:22:25 -07:00 misc/cleanup

Add more serialisation options

#2 by aniva was merged 2023-08-23 13:29:00 -07:00