ada/ada-eval
0
0
Fork 0
mirror of https://github.com/AdaCore/ada-eval.git synced 2026-02-12 13:53:19 -08:00
Code Issues Packages Projects Releases Wiki Activity
Files
main
ada-eval/tests/data/valid_evaluated_datasets
History
Rowan Walshe fd3e42bf1c Remove the proof_steps metric
2026-01-28 10:32:37 +00:00
..
compacted
Remove the proof_steps metric
2026-01-28 10:32:37 +00:00