Ecosyste.ms: Issues

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

GitHub / JetBrains/arend-lib issues and pull requests

#72 - Regular monomorphisms are stable under pullbacks

Pull Request - State: open - Opened by bakinovsky-m about 2 months ago

#71 - Not intuitive error message of mcases tactic.

Issue - State: open - Opened by sxhya 2 months ago
Labels: meta, usability-problem

#70 - Representation

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

#69 - Representation

Pull Request - State: closed - Opened by s3midetnov 4 months ago - 1 comment

#68 - Representation

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

#67 - Presheaves and Yoneda Lemma

Pull Request - State: open - Opened by FeorgeGeorge 5 months ago

#66 - Is this a typo?

Issue - State: closed - Opened by ice1000 6 months ago

#65 - quotient universal property

Pull Request - State: closed - Opened by s3midetnov 8 months ago

#64 - Toposes and Heyting Algebras

Pull Request - State: closed - Opened by FeorgeGeorge 8 months ago

#63 - universal group quotient, gset definition

Pull Request - State: closed - Opened by s3midetnov 8 months ago

#62 - Group upd

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

#61 - Make composition operator o infix

Issue - State: open - Opened by s3midetnov 9 months ago

#60 - Fix replaceSubexpressions

Pull Request - State: closed - Opened by part-xx over 1 year ago

#58 - Prove a characterization of homogeneous ideals

Issue - State: closed - Opened by valis almost 2 years ago
Labels: help wanted

#57 - Prove a lemma about homogeneous decomposition

Issue - State: closed - Opened by valis almost 2 years ago - 3 comments
Labels: help wanted

#56 - Create FiniteMultiset.ard

Pull Request - State: open - Opened by ice1000 almost 2 years ago

#55 - Define T3

Pull Request - State: open - Opened by ice1000 almost 2 years ago

#54 - Finish the construction of the structure of a field on reals

Issue - State: closed - Opened by valis about 2 years ago
Labels: help wanted

#53 - Improve instance search in `equation`

Issue - State: open - Opened by valis over 2 years ago
Labels: meta

#50 - Fix sigma parameters creation in arend-lib

Pull Request - State: closed - Opened by knisht over 2 years ago

#49 - Prove that a weakly regular locale is weakly Hausdorff

Issue - State: open - Opened by valis over 2 years ago
Labels: help wanted

#48 - Prove that open maps of locales are closed under composition

Issue - State: open - Opened by valis over 2 years ago
Labels: help wanted

#47 - Prove that strongly dense maps are closed under pullbacks along open maps

Issue - State: open - Opened by valis over 2 years ago
Labels: help wanted

#46 - Prove that open maps of locales are closed under pullbacks

Issue - State: open - Opened by valis over 2 years ago
Labels: help wanted

#44 - Prove that regular monomorphisms are stable under pullbacks

Issue - State: open - Opened by valis over 2 years ago
Labels: help wanted

#43 - Prove that the ideal generated by a two-element set consists of linear combinations of those elements

Issue - State: closed - Opened by valis over 2 years ago - 1 comment
Labels: help wanted

#42 - Show that the forgetful functor from rings to sets creates limits

Issue - State: open - Opened by valis over 2 years ago
Labels: help wanted

#40 - Show that the spectrum of a ring is locally ringed

Issue - State: closed - Opened by valis over 2 years ago
Labels: help wanted

#39 - Extend `run` meta to support trailing lambdas

Issue - State: open - Opened by TurtlePU over 2 years ago - 1 comment

#38 - Add Term Rewriting Systems

Pull Request - State: closed - Opened by knisht almost 3 years ago

#37 - Refactor: fix "Redundant parentheses" warnings

Pull Request - State: closed - Opened by marat-rkh about 3 years ago

#37 - Refactor: fix "Redundant parentheses" warnings

Pull Request - State: closed - Opened by marat-rkh about 3 years ago

#36 - Refactor: fix "Redundant parentheses" warnings

Pull Request - State: closed - Opened by marat-rkh about 3 years ago

#36 - Refactor: fix "Redundant parentheses" warnings

Pull Request - State: closed - Opened by marat-rkh about 3 years ago

#35 - Add metas for \Pi, similar to metas for \Sigma

Issue - State: closed - Opened by marat-rkh over 3 years ago - 3 comments

#34 - 'cases' meta

Issue - State: closed - Opened by valis about 4 years ago
Labels: meta

#34 - 'cases' meta

Issue - State: closed - Opened by valis about 4 years ago
Labels: meta

#33 - Potential typo

Issue - State: closed - Opened by ice1000 about 4 years ago
Labels: enhancement

#33 - Potential typo

Issue - State: closed - Opened by ice1000 about 4 years ago
Labels: enhancement

#32 - Upgrade gradle (jetbrains/arend#277)

Pull Request - State: closed - Opened by ice1000 about 4 years ago

#32 - Upgrade gradle (jetbrains/arend#277)

Pull Request - State: closed - Opened by ice1000 about 4 years ago

#31 - Put annotation on the correct place

Pull Request - State: closed - Opened by ice1000 about 4 years ago

#31 - Put annotation on the correct place

Pull Request - State: closed - Opened by ice1000 about 4 years ago

#30 - Allow additional arguments for \case in mcases

Issue - State: closed - Opened by valis about 4 years ago
Labels: enhancement, meta

#30 - Allow additional arguments for \case in mcases

Issue - State: closed - Opened by valis about 4 years ago
Labels: enhancement, meta

#29 - Generalize the definition of Subset

Issue - State: open - Opened by tonyxty about 4 years ago

#29 - Generalize the definition of Subset

Issue - State: open - Opened by tonyxty about 4 years ago

#28 - Simply Torus proofs with mcases

Pull Request - State: closed - Opened by ice1000 about 4 years ago

#28 - Simply Torus proofs with mcases

Pull Request - State: closed - Opened by ice1000 about 4 years ago

#27 - Meta `mcases` throws exception

Issue - State: closed - Opened by ice1000 about 4 years ago
Labels: bug

#27 - Meta `mcases` throws exception

Issue - State: closed - Opened by ice1000 about 4 years ago
Labels: bug

#26 - Compute the context in the equation meta only once

Issue - State: open - Opened by valis about 4 years ago
Labels: enhancement

#26 - Compute the context in the equation meta only once

Issue - State: open - Opened by valis about 4 years ago
Labels: enhancement

#25 - Feature request: automatically generate "equals" definitions

Issue - State: closed - Opened by tonyxty about 4 years ago - 1 comment
Labels: enhancement

#25 - Feature request: automatically generate "equals" definitions

Issue - State: closed - Opened by tonyxty about 4 years ago - 1 comment
Labels: enhancement

#24 - Compile Java with utf-8

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

#24 - Compile Java with utf-8

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

#23 - Adapt latest literal checker API

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

#22 - Workaround github actions, improve build.gradle.kts

Pull Request - State: closed - Opened by ice1000 over 4 years ago
Labels: enhancement

#22 - Workaround github actions, improve build.gradle.kts

Pull Request - State: closed - Opened by ice1000 over 4 years ago
Labels: enhancement

#21 - Upgrade gradle

Pull Request - State: closed - Opened by ice1000 over 4 years ago
Labels: enhancement

#21 - Upgrade gradle

Pull Request - State: closed - Opened by ice1000 over 4 years ago
Labels: enhancement

#20 - Try to setup github actions

Pull Request - State: closed - Opened by ice1000 over 4 years ago - 2 comments
Labels: enhancement

#20 - Try to setup github actions

Pull Request - State: closed - Opened by ice1000 over 4 years ago - 2 comments
Labels: enhancement

#19 - Define BinNat and its properties

Pull Request - State: open - Opened by ice1000 over 4 years ago
Labels: enhancement

#19 - Define BinNat and its properties

Pull Request - State: open - Opened by ice1000 over 4 years ago
Labels: enhancement

#18 - Upgrade Java and Gradle

Pull Request - State: closed - Opened by ice1000 over 4 years ago
Labels: enhancement

#18 - Upgrade Java and Gradle

Pull Request - State: closed - Opened by ice1000 over 4 years ago
Labels: enhancement

#17 - Use partially applied syntax extensively

Pull Request - State: open - Opened by ice1000 over 4 years ago - 1 comment

#17 - Use partially applied syntax extensively

Pull Request - State: open - Opened by ice1000 over 4 years ago - 1 comment

#16 - Ring definition approaches

Issue - State: closed - Opened by WojciechKarpiel over 4 years ago - 4 comments
Labels: question

#16 - Ring definition approaches

Issue - State: closed - Opened by WojciechKarpiel over 4 years ago - 4 comments
Labels: question

#15 - Replace local dependency with JitPack dependency

Pull Request - State: open - Opened by ice1000 over 4 years ago
Labels: enhancement

#15 - Replace local dependency with JitPack dependency

Pull Request - State: open - Opened by ice1000 over 4 years ago
Labels: enhancement

#14 - Naming convention

Issue - State: open - Opened by ice1000 over 4 years ago

#14 - Naming convention

Issue - State: open - Opened by ice1000 over 4 years ago

#13 - Set truncation

Pull Request - State: closed - Opened by ice1000 over 4 years ago - 1 comment
Labels: new

#13 - Set truncation

Pull Request - State: closed - Opened by ice1000 over 4 years ago - 1 comment
Labels: new

#12 - Make paths more explicit

Pull Request - State: closed - Opened by ice1000 over 4 years ago
Labels: enhancement

#12 - Make paths more explicit

Pull Request - State: closed - Opened by ice1000 over 4 years ago
Labels: enhancement

#11 - Prove that Or can be flipped

Pull Request - State: open - Opened by ice1000 over 4 years ago
Labels: new

#11 - Prove that Or can be flipped

Pull Request - State: open - Opened by ice1000 over 4 years ago
Labels: new

#10 - Add Data.Maybe

Pull Request - State: open - Opened by Primetalk over 4 years ago - 3 comments

#10 - Add Data.Maybe

Pull Request - State: open - Opened by Primetalk over 4 years ago - 3 comments

#9 - Torus definition & properties

Pull Request - State: closed - Opened by ice1000 almost 5 years ago
Labels: enhancement

#9 - Torus definition & properties

Pull Request - State: closed - Opened by ice1000 almost 5 years ago
Labels: enhancement

#8 - make poset a category

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

#8 - make poset a category

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

#7 - Small addition to orders

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

#7 - Small addition to orders

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

#6 - License file is missing

Issue - State: closed - Opened by quasilyte almost 6 years ago

#6 - License file is missing

Issue - State: closed - Opened by quasilyte almost 6 years ago

#5 - Put a link to the documentation into README.md

Pull Request - State: closed - Opened by xamgore about 6 years ago

#5 - Put a link to the documentation into README.md

Pull Request - State: closed - Opened by xamgore about 6 years ago

#4 - Lambda-calculus

Pull Request - State: closed - Opened by edgarzhavoronkov over 6 years ago

#4 - Lambda-calculus

Pull Request - State: closed - Opened by edgarzhavoronkov over 6 years ago