search

FStarLang / fstar_dataset

MIT License
0 stars 0 forks source link

Classification of easy/hard problems #15

Open gebner opened 1 year ago

gebner commented 1 year ago

At the very least maybe an is_unit_proof flag?