ivanmurashko / courseragalois
Lecture notes on Introduction to Galois Theory by Ekaterina Amerik (Higher School of Economics / Coursera)
☆15Updated last year
Related projects ⓘ
Alternatives and complementary repositories for courseragalois
- Write formal proofs in natural language and LaTeX.☆32Updated 3 weeks ago
- Voevodsky's original development of the univalent foundations of mathematics in Coq☆53Updated 10 years ago
- lean-related presentations☆16Updated 10 months ago
- Algebraic Combinatorics in Coq☆37Updated this week
- Automated Reasoning for the Working Mathematician☆11Updated 5 years ago
- This project contains various supporting libraries for lean to reason about protocols.☆42Updated 7 years ago
- HoTT in Lean 3☆75Updated 4 years ago
- A Seamless, Interactive Tactic Learner and Prover for Coq☆59Updated last week
- Paradox model finder and equinox theorem prover for first-order logic.☆20Updated 11 months ago
- ☆21Updated 2 years ago
- ☆19Updated 7 years ago
- SML code for Handbook of Practical Logic and Automated Reasoning - For Isabelle too☆34Updated 7 years ago
- Coq Enhancement Proposals☆49Updated 2 weeks ago
- Research material of Erik Palmgren (1963–2019)☆20Updated last year
- A formally verified implementation of differential dynamic logic in Coq☆12Updated 2 years ago
- A collection of small projects to illustrate how to write plugins for Coq☆21Updated 5 years ago
- Coq plugin embedding elpi☆139Updated this week
- The Coq Effective Algebra Library [maintainers=@CohenCyril,@proux01]☆66Updated 3 months ago
- ☆35Updated last month
- A heuristic procedure for proving inequalities☆32Updated 6 years ago
- Conference on Homotopy Type Theory 2023☆13Updated 10 months ago
- An encyclopedia of proofs☆57Updated 2 weeks ago
- An interactive theorem prover based on lambda-tree syntax☆90Updated this week
- High level commands to declare a hierarchy based on packed classes☆97Updated this week
- A blog about Coq☆47Updated 2 years ago
- A formalization of M-types in Agda☆32Updated 4 years ago
- A proof of Abel-Ruffini theorem.☆28Updated last week
- A library of mechanised undecidability proofs in the Coq proof assistant.☆111Updated last month
- Coq formalizations of Sequent Calculus, Natural Deduction, etc. systems for propositional logic☆44Updated 8 years ago
- Formal topology (and some probability) in Coq☆32Updated 5 years ago