mo271/FormalBook issues and pull requests

#86 - remove scripts folder

Pull Request - State: closed - Opened by mo271 2 months ago

#85 - chore: remove unnecessary `lake exe cache get`

Pull Request - State: closed - Opened by pitmonticone 2 months ago - 2 comments

#84 - Bump mathlib2

Pull Request - State: open - Opened by mo271 2 months ago

#83 - De morgans law

Pull Request - State: closed - Opened by marozols 3 months ago

#82 - Appendix_Jan_Giaocomo_Thomas

Pull Request - State: closed - Opened by JanHendriks1 3 months ago - 1 comment

#81 - Surname giacomo

Pull Request - State: closed - Opened by giacgrevink 3 months ago - 1 comment

#80 - use permanent, which is now in mathlib

Pull Request - State: closed - Opened by mo271 3 months ago

#79 - bump mathlib

Pull Request - State: closed - Opened by mo271 3 months ago

#78 - Add jonas.txt

Pull Request - State: closed - Opened by jonasvanderschaaf 3 months ago - 2 comments

#77 - Furstenberg's proof of infinitude of primes

Pull Request - State: closed - Opened by luigi-massacci 3 months ago - 4 comments

#77 - Furstenberg's proof of infinitude of primes

Pull Request - State: closed - Opened by luigi-massacci 3 months ago - 4 comments

#76 - Permanent conjecture

Pull Request - State: closed - Opened by mo271 3 months ago

#76 - Permanent conjecture

Pull Request - State: closed - Opened by mo271 3 months ago

#75 - add permanent conjecture

Pull Request - State: closed - Opened by mo271 3 months ago

#75 - add permanent conjecture

Pull Request - State: closed - Opened by mo271 3 months ago

#74 - chore: golf a few proofs in chapter 6

Pull Request - State: closed - Opened by pitmonticone 3 months ago

#74 - chore: golf a few proofs in chapter 6

Pull Request - State: closed - Opened by pitmonticone 3 months ago

#73 - golf chapter 4

Pull Request - State: closed - Opened by pitmonticone 4 months ago

#73 - golf chapter 4

Pull Request - State: closed - Opened by pitmonticone 4 months ago

#72 - golf a few proofs in chapter 6

Pull Request - State: closed - Opened by pitmonticone 4 months ago

#72 - golf a few proofs in chapter 6

Pull Request - State: closed - Opened by pitmonticone 4 months ago

#71 - ch4 second proof, latex and widget

Pull Request - State: closed - Opened by mo271 4 months ago

#71 - ch4 second proof, latex and widget

Pull Request - State: closed - Opened by mo271 4 months ago

#70 - Golf a few proofs

Pull Request - State: closed - Opened by pitmonticone 4 months ago

#69 - add latex for handshaking lemma

Pull Request - State: closed - Opened by mo271 4 months ago

#69 - add latex for handshaking lemma

Pull Request - State: closed - Opened by mo271 4 months ago

#68 - add latex proof for Mantel

Pull Request - State: closed - Opened by mo271 4 months ago - 2 comments

#68 - add latex proof for Mantel

Pull Request - State: closed - Opened by mo271 4 months ago - 2 comments

#67 - LeanAgent Proofs

Pull Request - State: closed - Opened by Adarsh321123 4 months ago - 2 comments

#66 - link to thebook.lean

Pull Request - State: closed - Opened by mo271 4 months ago

#66 - link to thebook.lean

Pull Request - State: closed - Opened by mo271 4 months ago

#65 - Handshaking mantel

Pull Request - State: closed - Opened by FordUniver 4 months ago - 4 comments

#65 - Handshaking mantel

Pull Request - State: closed - Opened by FordUniver 4 months ago - 4 comments

#64 - Upgrade blueprint workflow

Pull Request - State: closed - Opened by pitmonticone 4 months ago - 3 comments

#64 - Upgrade blueprint workflow

Pull Request - State: closed - Opened by pitmonticone 4 months ago - 3 comments

#63 - Golf a few proofs

Pull Request - State: closed - Opened by pitmonticone 4 months ago

#62 - Golf a few proofs

Pull Request - State: closed - Opened by pitmonticone 4 months ago

#61 - Fix typos in blueprint and docstrings

Pull Request - State: closed - Opened by pitmonticone 4 months ago

#60 - add some latex for chapter 2

Pull Request - State: closed - Opened by mo271 5 months ago

#59 - Bump actions/checkout from 2 to 4

Pull Request - State: closed - Opened by dependabot[bot] 5 months ago
Labels: dependencies

#58 - test files for blueprint

Pull Request - State: closed - Opened by mo271 9 months ago

#57 - Rename all chapters

Pull Request - State: closed - Opened by mo271 9 months ago

#56 - bump mathlib

Pull Request - State: closed - Opened by mo271 9 months ago

#55 - Ch. 1: prove monotone_primeCountingReal

Pull Request - State: closed - Opened by mo271 10 months ago - 1 comment

#54 - Ch01, proof 4: state subgoals

Pull Request - State: closed - Opened by rwst 10 months ago - 1 comment

#53 - Ch01: add lemma for proof 4

Pull Request - State: closed - Opened by rwst 10 months ago - 2 comments

#52 - Ch01: add lemma for proof 4

Pull Request - State: closed - Opened by rwst 10 months ago - 1 comment

#51 - Setup blueprint

Pull Request - State: closed - Opened by mo271 10 months ago

#50 - add lemma for proof 4

Pull Request - State: closed - Opened by rwst 10 months ago - 2 comments

#49 - `Nat.Pow` is no longer in Mathlib4

Issue - State: closed - Opened by rwst 10 months ago - 2 comments

#48 - fix typo

Pull Request - State: closed - Opened by rwst 10 months ago - 1 comment

#47 - bump mathlib

Pull Request - State: closed - Opened by mo271 about 1 year ago

#46 - progress in ch44

Pull Request - State: closed - Opened by mo271 about 1 year ago

#45 - Update mathlib

Pull Request - State: closed - Opened by mo271 about 1 year ago

#44 - start ch 7

Pull Request - State: closed - Opened by mo271 about 1 year ago

#43 - Some preparations for Orbit-stabilizer comparison

Pull Request - State: closed - Opened by nick-kuhn over 1 year ago

#42 - Some progress with class formula (CI still fails)

Pull Request - State: closed - Opened by nick-kuhn over 1 year ago

#41 - Set-up for class number formula

Pull Request - State: closed - Opened by nick-kuhn over 1 year ago

#40 - Ch06-Update

Pull Request - State: closed - Opened by nick-kuhn over 1 year ago

#39 - Small Update Chapter 3

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#38 - Version of Lemma being formalized

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#37 - Update Ch 32, Lemma formalized

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#36 - Update Ch 32

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#35 - Update Ch 32 (acyclic graph, subset of V with card n)

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#34 - Update 32 (weights)

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#33 - Chapter 32

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#32 - Major Update on Chapter 32

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#31 - Chapter 32 work

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#30 - Chapter 32 Update

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#29 - Ch32

Pull Request - State: closed - Opened by mo271 about 2 years ago

#28 - ch. 20: fix build

Pull Request - State: closed - Opened by mo271 about 2 years ago

#27 - Chapter 32 work

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#26 - Ch 32 progress

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#25 - Change to the new notation for `norm`

Pull Request - State: closed - Opened by eric-wieser about 2 years ago - 1 comment

#24 - ch. 6: fix abs

Pull Request - State: closed - Opened by mo271 about 2 years ago - 1 comment

#23 - fix locale in ch. 11

Pull Request - State: closed - Opened by mo271 about 2 years ago

#22 - Enable Lean builds in CI

Pull Request - State: closed - Opened by eric-wieser about 2 years ago - 1 comment

#21 - Chapter 32 objects analog to mathlib

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago - 2 comments

#20 - Contribution to "Lattice_path_and_determinants" - chapter 32

Issue - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#19 - Update 32_Lattice_paths_and_determinants.lean

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago - 1 comment

#18 - chapter 3, minor style fixes

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#17 - lemma notlthpowdiva

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#16 - chapter 3 , step 4

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#15 - chapter 3, step 4

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#14 - step 3 and case l=2 progress

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#13 - cpater 3, step 2

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#12 - chapter 3, step 2, structure completed

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#11 - chapter 3 , step 2, cases revisited

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#10 - capter 3 (Binom); step 2; case i < j

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#9 - Major Update

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#8 - 03 - step 1 complete except lemmata

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#7 - Update 03_Binomial_coefficients_are_(almost)_never_powers.lean

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#6 - Update 03_Binomial_coefficients_are_(almost)_never_powers.lean

Pull Request - State: closed - Opened by C-h-r-i-s-x about 2 years ago

#5 - init binom never powers

Pull Request - State: closed - Opened by C-h-r-i-s-x over 2 years ago - 1 comment

#4 - Contribution to "Binomial coefficients are (almost) never powers"

Issue - State: closed - Opened by C-h-r-i-s-x over 2 years ago - 1 comment

#3 - Wedderburn (Ch. 6)

Pull Request - State: closed - Opened by nick-kuhn over 2 years ago - 2 comments

#2 - Easy counting

Pull Request - State: closed - Opened by nick-kuhn over 2 years ago - 1 comment

#1 - Rough structure for Quadratic Reciprocity Chapter

Pull Request - State: closed - Opened by nick-kuhn over 2 years ago - 1 comment

GitHub / mo271/FormalBook issues and pull requests