Lean-proof-assistant:学位论文
需积分: 10 151 浏览量
2021-04-21
17:43:20
上传
评论
收藏 1.44MB ZIP 举报
Lean-proof-assistant:学位论文 （123个子文件） 
1 152B 1 82B 1 68B 1 42B 1 26B 1 25B 1 19B 1 12B 1 12B 1 6B 10 98B 10 79B 11 101B 12 23B 2 167B 2 112B 2 109B 2 52B 2 48B 2 33B 2 32B 2 24B 2 18B 2 6B 3 137B 3 126B 3 95B 3 89B 3 79B 3 65B 3 57B 3 57B 3 33B 3 15B 4 155B 4 140B 4 95B 4 81B 4 48B 4 48B 4 36B 4 36B 4 32B 5 163B 5 138B 5 120B 5 99B 5 53B 5 27B 5 21B 6 163B 6 153B 6 112B 6 103B 6 84B 6 80B 6 25B 7 170B 7 164B 7 117B 7 76B 7 58B 7 55B 8 127B 8 95B 8 91B 8 88B 8 61B 9 143B 9 90B 9 81B 9 30B 9 4B 00_first_proofs.lean 18KB 00_first_proofs.lean 18KB 02_iff_if_and.lean 15KB 02_iff_if_and.lean 13KB 09_limits_final.lean 12KB 03_forall_or.lean 9KB 07_first_negations.lean 8KB 03_forall_or.lean 8KB 05_sequence_limits.lean 7KB 09_limits_final.lean 7KB tuto_lib.lean 7KB 07_first_negations.lean 7KB 05_sequence_limits.lean 6KB 01_equality_rewriting.lean 5KB odd_submonoid.lean 5KB 08_limits_negation.lean 5KB 01_equality_rewriting.lean 5KB 06_sub_sequences.lean 5KB 08_limits_negation.lean 4KB try.lean 3KB 06_sub_sequences.lean 3KB sublattice.lean 3KB 04_exists.lean 3KB odd_submonoid2.lean 3KB sublattice.lean 3KB 04_exists.lean 3KB 07bis_abstract_negations.lean 2KB共 123 条
- 1
- 2
资源评论
