search

FStarLang / pulse

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

A bit of helping in Pulse.Lib.Task.await #259

Closed nikswamy closed 20 hours ago