search

aya-prover / aya-dev

A proof assistant and a dependently-typed language
https://www.aya-prover.org
MIT License
278 stars 16 forks source link

Hole Lambda #846

Open HoshinoTented opened 1 year ago

HoshinoTented commented 1 year ago

https://github.com/JetBrains/Arend/pull/199 Feature write de good, next second is mine.

ice1000 commented 1 year ago

https://github.com/JetBrains/arend-lib/commit/8f7339486a8d0d3cb8b2d76da6edf38f86e535ac