6 ms·"admit" does not pass the checker right now. coqchk -o is used to detect those assumptions.by pirapira 13y ago"admit" does not pass the checker right now. coqchk -o is used to detect those assumptions.