lean-matroids：精益中的拟阵
需积分: 9 94 浏览量
2021-02-27
06:06:33
上传
评论
收藏 208KB ZIP 举报
lean-matroids-master.zip （77个子文件） 
lean-matroids-master 
.DS_Store 6KB old boolalg_ring.lean 7KB submodular.lean 4KB induction-old.lean 0B matroid_intersection.lean 8KB induction.lean 7KB func_heq.lean 9KB inter_union.lean 19KB finset_extra.lean 1KB set_tactic make_ring.lean 5KB freealg.lean 4KB boolring_tactic.lean 6KB matroid5.lean 15KB matroid3.lean 12KB matroid_mat2.lean 26KB deletion_contraction.lean 14KB matroid_yetagain.lean 794B minmaxsum.lean 9KB matroid-zulip.lean 1007B set_lemmas.linting 22KB best_tactic.lean 6KB set_matroid.lean 6KB size.lean 1KB finset_add.lean 7KB minor'''.lean 20KB fintype2-matroid.lean 2KB boolalg_quot.lean 1KB minor.lean 14KB struct_eq.lean 2KB finitized_matroid.lean 9KB
post.txt 6KB matroid.lean 79KB embed.lean 6KB matroid4.lean 3KB cryptomorphism.lean 1KB minor'.lean 2KB matroid_bad.lean 755B matroid-miller.lean 6KB matroid_new.lean 3KB src set_tactic finset_tactic.lean 2KB boolean_algebra_tactic.lean 8KB solver.lean 8KB extensionality.lean 955B set_tactic.lean 1KB matroid closure.lean 4KB submatroid delete_contract.lean 7KB projection.lean 10KB matroid_in.lean 15KB order.lean 7KB minor.lean 16KB minor_iso.lean 15KB scratch.lean 1KB basis.lean 6KB indep.lean 10KB circuit.lean 7KB rankfun.lean 57KB constructions.lean 13KB axioms.lean 5KB dual.lean 3KB parallel.lean 19KB intersection-union matroid_inter.lean 9KB matroid_union.lean 20KB basic.lean 12KB simple.lean 6KB prelim induction.lean 7KB set.lean 20KB presetoid.lean 3KB collections.lean 10KB size.lean 14KB embed.lean 4KB int_lemmas.lean 1KB minmax.lean 12KB single.lean 11KB setlist.lean 3KB leanpkg.toml 240B matroidexamples.lean 4KB .gitignore 31B
评论0
最新资源