search

FStarLang / pulse

The Pulse separation logic DSL for F*
Apache License 2.0
6 stars 7 forks source link

Remove admitted and unused invlist_reveal function. #151

Closed gebner closed 4 months ago