Index of /danko/boolean_completeness/

../
doc/                                               28-Aug-2025 16:39                   -
ListSet.v                                          28-Aug-2025 16:38                2484
Makefile                                           24-Aug-2025 13:49                 272
classcomp.ml                                       28-Aug-2025 16:38              277464
classcomp.mli                                      28-Aug-2025 16:38               24758
classcomp.v                                        28-Aug-2025 16:38               83544
filters.ml                                         28-Aug-2025 16:38               71250
filters.mli                                        28-Aug-2025 16:38                8783
filters.v                                          28-Aug-2025 16:38               27368