Index of /CoqBB5_release_v1.0.0/

../
BB2_verified_enumeration.csv                       27-Feb-2025 17:45                2431
BB2_verified_enumeration_augmented.csv             02-Sep-2025 11:00                3026
BB2x3_verified_enumeration.csv                     27-Feb-2025 18:50              264481
BB2x3_verified_enumeration_augmented.csv           02-Sep-2025 16:49              329154
BB2x4_verified_enumeration.csv                     18-Feb-2025 09:54           110042596
BB2x4_verified_enumeration_augmented.csv           02-Sep-2025 11:00           139519156
BB3_verified_enumeration.csv                       27-Feb-2025 17:43              240821
BB3_verified_enumeration_augmented.csv             02-Sep-2025 11:00              303576
BB4_verified_enumeration.csv                       17-Feb-2025 15:42            45072845
BB4_verified_enumeration_augmented.csv             02-Sep-2025 11:00            56175829
BB5_normal_form_table_based_machines.csv           03-Sep-2025 12:22                1470
BB5_table_based_machines.csv                       02-Sep-2025 11:03              601559
BB5_verified_enumeration.csv.gz                    05-Mar-2025 10:16           587416056
BB5_verified_enumeration.csv.zst                   05-Mar-2025 10:16           504304964
BB5_verified_enumeration_augmented.csv.gz          02-Sep-2025 11:02           918273783
BB5_verified_enumeration_augmented.csv.zst         03-Sep-2025 12:28           804978618
README.md                                          03-Sep-2025 13:02                3548