First pass for the dataset extraction from the pulse - Githubissues

FStarLang / pulse

The Pulse separation logic DSL for F*

Apache License 2.0

6 stars 7 forks source link

First pass for the dataset extraction from the pulse #242

Open saikat107 opened 4 weeks ago