Extract FStar.List.Pure.Base

FStarLang / FStar

A Proof-oriented Programming Language

https://www.fstar-lang.org

Apache License 2.0

2.65k stars 232 forks source link

Closed mtzguido closed 3 weeks ago

mtzguido commented 3 weeks ago

This is module is not realized, but fully defined. Just extract it.

Fixes #3312.