File: search.oracle

package info (click to toggle)
coq-dpdgraph 1.0%2B8.20-1
  • links: PTS, VCS
  • area: main
  • in suites: forky, sid, trixie
  • size: 608 kB
  • sloc: ml: 686; makefile: 221
file content (7 lines) | stat: -rw-r--r-- 389 bytes parent folder | download 
1
2
3
4
5
6
7
 
Welcome to Coq
[Loading ML file coq-dpdgraph.plugin ... done]
[Loading ML file ring_plugin.cmxs (using legacy method) ... done]
Fetching opaque proofs from disk for dpdgraph.tests.Test
[cons(42) nil(6) perm_swap(1) perm_skip(3) list(18) Permutation(11) app(43)
Permutation_trans(3) eq_ind_r(1) eq_ind(2) list_ind(2) Permutation_refl(2)
app_comm_cons(1) app_nil_end(2) Permutation_sym(3) ]