search

boogie-org / boogie

Boogie
http://research.microsoft.com/en-us/projects/boogie/
MIT License
514 stars 112 forks source link

Implement support for triggers with lean-auto #942

Closed atomb closed 3 months ago

atomb commented 3 months ago

Updates lean-auto dependency to get this functionality, and Lean itself along the way. Improve some messages, too.