Skip to content

Commit 530c8c0

Browse files
ak-2485ak-2485
committed
clean up
1 parent 3aebfcc commit 530c8c0

File tree

2 files changed

+0
-148
lines changed

2 files changed

+0
-148
lines changed

‎coq_error_metrics/_CoqProject‎

Lines changed: 0 additions & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -1,4 +1,3 @@
11
-Q . ErrorMetrics
22

33
absolute_prec.v
4-
ops_absolute_prec.v

‎coq_error_metrics/ops_absolute_prec.v‎

Lines changed: 0 additions & 147 deletions
This file was deleted.

0 commit comments

Comments
 (0)