Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / leanprover/reference-manual issues and pull requests

#100 - Overview of commands

Issue - State: open - Opened by david-christiansen 4 months ago - 1 comment
Labels: doc-request

#100 - Overview of commands

Issue - State: open - Opened by david-christiansen 4 months ago - 1 comment
Labels: doc-request

#99 - Universe unification and inference

Issue - State: open - Opened by david-christiansen 4 months ago
Labels: doc-request

#99 - Universe unification and inference

Issue - State: open - Opened by david-christiansen 4 months ago
Labels: doc-request

#98 - chore: update Verso dependency

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#98 - chore: update Verso dependency

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#97 - chore: README update

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#97 - chore: README update

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#96 - chore: more informative build message for figures

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#96 - chore: more informative build message for figures

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#95 - fix: bump Verso to get trailing slashes in links

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#95 - fix: bump Verso to get trailing slashes in links

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#93 - feat: link targets for redirects in old manual

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#92 - Laziness with `Thunk`

Issue - State: open - Opened by david-christiansen 4 months ago
Labels: doc-request

#91 - Arrays

Issue - State: open - Opened by david-christiansen 4 months ago
Labels: doc-request

#91 - Arrays

Issue - State: open - Opened by david-christiansen 4 months ago
Labels: doc-request

#90 - Tasks and Threads

Issue - State: open - Opened by david-christiansen 4 months ago
Labels: doc-request

#89 - chore: release CI, revised

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#89 - chore: release CI, revised

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#88 - chore: copyright headers and Lean imports size in CI

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#87 - chore: check commit convention in CI

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#87 - chore: check commit convention in CI

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#86 - chore: release CI

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#86 - chore: release CI

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#85 - chore: bump Verso to fix index rendering

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#85 - chore: bump Verso to fix index rendering

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#84 - Aesthetics

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#84 - Aesthetics

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#83 - chore: use cacheable TeX to speed up CI

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#83 - chore: use cacheable TeX to speed up CI

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#82 - Toc updates

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#82 - Toc updates

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#81 - Links in footnotes are not clickable

Issue - State: closed - Opened by TwoFX 4 months ago - 1 comment

#81 - Links in footnotes are not clickable

Issue - State: closed - Opened by TwoFX 4 months ago - 1 comment

#80 - chore: bump Verso dependency for new ToC

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#80 - chore: bump Verso dependency for new ToC

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#79 - Clarify proof irrelevance

Issue - State: closed - Opened by david-christiansen 4 months ago

#79 - Clarify proof irrelevance

Issue - State: closed - Opened by david-christiansen 4 months ago

#78 - Describe axioms

Issue - State: open - Opened by david-christiansen 4 months ago

#78 - Describe axioms

Issue - State: open - Opened by david-christiansen 4 months ago

#77 - feat: link to issues from `planned` blocks

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#77 - feat: link to issues from `planned` blocks

Pull Request - State: closed - Opened by david-christiansen 4 months ago

#76 - Reservoir chapter

Issue - State: open - Opened by david-christiansen 4 months ago

#76 - Reservoir chapter

Issue - State: open - Opened by david-christiansen 4 months ago

#75 - Lake chapter

Issue - State: open - Opened by david-christiansen 4 months ago

#74 - Elan

Issue - State: open - Opened by david-christiansen 4 months ago

#74 - Elan

Issue - State: open - Opened by david-christiansen 4 months ago

#73 - Detailed description of elaborators

Issue - State: open - Opened by david-christiansen 4 months ago - 1 comment

#73 - Detailed description of elaborators

Issue - State: open - Opened by david-christiansen 4 months ago - 1 comment

#72 - Quick elaborator overview

Issue - State: open - Opened by david-christiansen 4 months ago

#72 - Quick elaborator overview

Issue - State: open - Opened by david-christiansen 4 months ago

#71 - Macros

Issue - State: open - Opened by david-christiansen 4 months ago

#71 - Macros

Issue - State: open - Opened by david-christiansen 4 months ago

#70 - Syntax extensions and syntax categories

Issue - State: open - Opened by david-christiansen 4 months ago

#70 - Syntax extensions and syntax categories

Issue - State: open - Opened by david-christiansen 4 months ago

#69 - Notations

Issue - State: open - Opened by david-christiansen 4 months ago

#69 - Notations

Issue - State: open - Opened by david-christiansen 4 months ago

#68 - Proof diff labels

Issue - State: open - Opened by david-christiansen 4 months ago

#68 - Proof diff labels

Issue - State: open - Opened by david-christiansen 4 months ago

#67 - The Tactic Monad

Issue - State: open - Opened by david-christiansen 4 months ago

#67 - The Tactic Monad

Issue - State: open - Opened by david-christiansen 4 months ago

#66 - Describe the high-level term language

Issue - State: open - Opened by david-christiansen 4 months ago

#65 - Deriving handlers

Issue - State: closed - Opened by david-christiansen 4 months ago

#65 - Deriving handlers

Issue - State: closed - Opened by david-christiansen 4 months ago

#64 - Instance deriving

Issue - State: closed - Opened by david-christiansen 4 months ago

#64 - Instance deriving

Issue - State: closed - Opened by david-christiansen 4 months ago

#63 - Specification of instance synthesis algorithm

Issue - State: closed - Opened by david-christiansen 4 months ago

#63 - Specification of instance synthesis algorithm

Issue - State: closed - Opened by david-christiansen 4 months ago

#62 - Describe `instance` declarations

Issue - State: closed - Opened by david-christiansen 4 months ago - 3 comments

#62 - Describe `instance` declarations

Issue - State: closed - Opened by david-christiansen 4 months ago - 3 comments

#61 - Introduction to type classes

Issue - State: closed - Opened by david-christiansen 4 months ago

#59 - `partial` and `unsafe`

Issue - State: open - Opened by david-christiansen 4 months ago

#59 - `partial` and `unsafe`

Issue - State: open - Opened by david-christiansen 4 months ago

#58 - Controlling reduction

Issue - State: open - Opened by david-christiansen 4 months ago

#58 - Controlling reduction

Issue - State: open - Opened by david-christiansen 4 months ago

#57 - Describe well-founded recursion

Issue - State: open - Opened by david-christiansen 4 months ago

#57 - Describe well-founded recursion

Issue - State: open - Opened by david-christiansen 4 months ago

#55 - Specify the translation to recursors

Issue - State: open - Opened by david-christiansen 4 months ago - 1 comment

#55 - Specify the translation to recursors

Issue - State: open - Opened by david-christiansen 4 months ago - 1 comment

#54 - Describe scopes

Issue - State: open - Opened by david-christiansen 4 months ago

#54 - Describe scopes

Issue - State: open - Opened by david-christiansen 4 months ago

#53 - Declaration signatures

Issue - State: open - Opened by david-christiansen 4 months ago

#53 - Declaration signatures

Issue - State: open - Opened by david-christiansen 4 months ago

#52 - Comprehensive reference of `declModifiers`

Issue - State: open - Opened by david-christiansen 4 months ago

#52 - Comprehensive reference of `declModifiers`

Issue - State: open - Opened by david-christiansen 4 months ago

#51 - Describe quotient types

Issue - State: open - Opened by david-christiansen 4 months ago

#51 - Describe quotient types

Issue - State: open - Opened by david-christiansen 4 months ago

#50 - Describe functions and function types

Issue - State: closed - Opened by david-christiansen 4 months ago

#50 - Describe functions and function types

Issue - State: closed - Opened by david-christiansen 4 months ago

#49 - Describe the basic concepts of the type theory

Issue - State: closed - Opened by david-christiansen 4 months ago

#49 - Describe the basic concepts of the type theory

Issue - State: closed - Opened by david-christiansen 4 months ago