leanprover/theorem_proving_in_lean issues and pull requests

#100 - quantifiers_and_equality.rst: typos

Pull Request - State: closed - Opened by ben-dyer over 4 years ago

#99 - interacting_with_lean.rst: typos

Pull Request - State: closed - Opened by ben-dyer over 4 years ago

#98 - tactics.rst: typo

Pull Request - State: closed - Opened by ben-dyer over 4 years ago - 1 comment

#97 - fix (induction and recursion): typo

Pull Request - State: closed - Opened by van-kalsing almost 5 years ago

#96 - Font changes

Issue - State: closed - Opened by dharmatech almost 5 years ago - 1 comment

#95 - 7.5 Other Recursive Data Types

Issue - State: closed - Opened by vvs- almost 5 years ago - 1 comment

#94 - Typography issues in 2019-11-13 edition

Issue - State: closed - Opened by dharmatech almost 5 years ago - 2 comments

#93 - tactics: typo

Pull Request - State: closed - Opened by dharmatech almost 5 years ago

#92 - tactics.rst: typo

Pull Request - State: closed - Opened by dharmatech about 5 years ago

#91 - tactics.rst: fix example

Pull Request - State: closed - Opened by dharmatech about 5 years ago

#90 - tactics.rst: typo

Pull Request - State: closed - Opened by dharmatech about 5 years ago

#89 - tactics.rst: typo

Pull Request - State: closed - Opened by dharmatech about 5 years ago

#88 - tactics.rst: typo

Pull Request - State: closed - Opened by dharmatech about 5 years ago

#87 - quantifiers_and_equality.rst: typo

Pull Request - State: closed - Opened by dharmatech about 5 years ago

#86 - quantifiers_and_equality.rst: Explain how to type '∣' (\mid)

Pull Request - State: closed - Opened by dharmatech about 5 years ago

#85 - quantifiers_and_equality.rst: typo

Pull Request - State: closed - Opened by dharmatech about 5 years ago

#84 - fix(inductive_types): fix compressed proof for succ_add

Pull Request - State: closed - Opened by blue-jam about 5 years ago

#83 - Explicitly list each proof as an exercise

Pull Request - State: closed - Opened by dharmatech about 5 years ago

#82 - dependent_type_theory.rst: typo

Pull Request - State: closed - Opened by dharmatech about 5 years ago - 1 comment

#81 - fix(quantifiers_and_equality): typo

Pull Request - State: closed - Opened by matthias-t over 5 years ago

#80 - fix typo in structures_and_records

Pull Request - State: closed - Opened by JaredCorduan over 5 years ago

#79 - fix typos in quantifiers_and_equality and inductive_types

Pull Request - State: closed - Opened by kappelmann over 5 years ago - 1 comment

#78 - revise instructions where sample code repeats standard library defs to avoid ambiguity

Issue - State: closed - Opened by holtzermann17 almost 6 years ago - 1 comment

#77 - dec_trivial is ambiguous in example for Chapter 10, Type Classes

Issue - State: closed - Opened by holtzermann17 almost 6 years ago - 2 comments

#76 - hints needed

Pull Request - State: closed - Opened by holtzermann17 almost 6 years ago - 2 comments

#75 - Avoid ambiguous plus

Pull Request - State: closed - Opened by holtzermann17 almost 6 years ago

#74 - fix typo

Pull Request - State: closed - Opened by holtzermann17 almost 6 years ago

#73 - move hidden code into exposed block

Pull Request - State: closed - Opened by holtzermann17 almost 6 years ago

#72 - move namespace within exported code so that the code works

Pull Request - State: closed - Opened by holtzermann17 almost 6 years ago

#71 - add missing word

Pull Request - State: closed - Opened by holtzermann17 almost 6 years ago

#70 - follow directions to avoid conflicts

Pull Request - State: closed - Opened by holtzermann17 almost 6 years ago

#69 - nat seems to be 'imported' automatically

Pull Request - State: closed - Opened by holtzermann17 almost 6 years ago

#68 - fix typo in inductive type tutorial

Pull Request - State: closed - Opened by marcusklaas almost 6 years ago - 1 comment

#67 - Can someone give me a proof that dne -> em?

Issue - State: closed - Opened by technicalguy about 6 years ago - 2 comments