Ecosyste.ms: Issues

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

GitHub / math-o-matic/math-o-matic issues and pull requests

#142 - Bump follow-redirects from 1.15.1 to 1.15.4 in /web

Pull Request - State: open - Opened by dependabot[bot] 8 months ago - 1 comment
Labels: dependencies

#141 - Bump @babel/traverse from 7.22.11 to 7.23.2

Pull Request - State: open - Opened by dependabot[bot] 11 months ago
Labels: dependencies

#140 - Bump @babel/traverse from 7.18.2 to 7.23.2 in /web

Pull Request - State: open - Opened by dependabot[bot] 11 months ago
Labels: dependencies

#139 - Bump webpack from 5.73.0 to 5.76.1 in /web

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 3 comments
Labels: dependencies

#138 - Bump webpack from 5.72.1 to 5.76.0

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 3 comments
Labels: dependencies

#137 - Bump dns-packet from 5.3.1 to 5.4.0 in /web

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 2 comments
Labels: dependencies

#136 - Bump @sideway/formula from 3.0.0 to 3.0.1 in /web

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 3 comments
Labels: dependencies

#135 - Bump http-cache-semantics from 4.1.0 to 4.1.1 in /docs

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 3 comments
Labels: dependencies

#134 - Bump json5 from 1.0.1 to 1.0.2 in /web

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 3 comments
Labels: dependencies

#133 - Bump json5 from 2.2.1 to 2.2.3

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 3 comments
Labels: dependencies

#132 - Bump json5 and @vue/cli-service in /web

Pull Request - State: closed - Opened by dependabot[bot] over 1 year ago - 3 comments
Labels: dependencies

#131 - Bump loader-utils from 1.4.0 to 1.4.2 in /web

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 3 comments
Labels: dependencies

#130 - Bump loader-utils from 1.4.0 to 1.4.1 in /web

Pull Request - State: closed - Opened by dependabot[bot] almost 2 years ago - 2 comments
Labels: dependencies

#128 - Bump terser from 5.14.0 to 5.14.2 in /web

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago - 3 comments
Labels: dependencies

#127 - Bump terser from 5.13.1 to 5.14.2

Pull Request - State: closed - Opened by dependabot[bot] about 2 years ago - 3 comments
Labels: dependencies

#125 - Church encoding으로 수학을 구현해 보자

Issue - State: open - Opened by logico-philosophical over 2 years ago - 2 comments
Labels: math

#124 - 모든 매크로 변수가 기본적으로 `sealed`이도록 하자

Issue - State: closed - Opened by logico-philosophical over 2 years ago - 3 comments
Labels: language

#123 - Bump minimist from 1.2.5 to 1.2.6 in /docs

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 1 comment
Labels: dependencies

#122 - Bump minimist from 1.2.5 to 1.2.6

Pull Request - State: closed - Opened by dependabot[bot] over 2 years ago - 1 comment
Labels: dependencies

#121 - Bump tar from 6.1.8 to 6.1.11

Pull Request - State: closed - Opened by dependabot[bot] about 3 years ago - 1 comment
Labels: dependencies

#120 - Bump path-parse from 1.0.6 to 1.0.7

Pull Request - State: closed - Opened by dependabot[bot] about 3 years ago - 1 comment
Labels: dependencies

#119 - Bump tar from 6.0.5 to 6.1.4

Pull Request - State: closed - Opened by dependabot[bot] about 3 years ago - 1 comment
Labels: dependencies

#118 - Bump normalize-url from 4.5.0 to 4.5.1 in /docs

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 1 comment
Labels: dependencies

#117 - Bump glob-parent from 5.1.1 to 5.1.2 in /docs

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 1 comment
Labels: dependencies

#116 - Bump trim-newlines from 3.0.0 to 3.0.1

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 1 comment
Labels: dependencies

#114 - Bump hosted-git-info from 2.8.8 to 2.8.9

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 1 comment
Labels: dependencies

#113 - Bump lodash from 4.17.20 to 4.17.21

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 1 comment
Labels: dependencies

#112 - Bump ssri from 6.0.1 to 6.0.2

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 1 comment
Labels: dependencies

#111 - Bump y18n from 4.0.0 to 4.0.1

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 1 comment
Labels: dependencies

#110 - 공리계의 모형을 만들 수 있도록 하자

Issue - State: open - Opened by logico-philosophical over 3 years ago - 3 comments
Labels: enhancement, language

#109 - ↦I 및 ↦E를 우리 체계의 추론규칙에 포함시키자

Issue - State: closed - Opened by logico-philosophical over 3 years ago
Labels: enhancement

#107 - by definition of ...에 나열되는 정의가 너무 많은 것을 고치자

Issue - State: open - Opened by logico-philosophical over 3 years ago - 1 comment
Labels: bug

#106 - Division theorem

Issue - State: open - Opened by logico-philosophical over 3 years ago - 1 comment
Labels: math

#105 - Bump elliptic from 6.5.3 to 6.5.4

Pull Request - State: closed - Opened by dependabot[bot] over 3 years ago - 1 comment
Labels: dependencies

#104 - 증명 작성을 위한 시각적 편집기를 추가하자

Issue - State: open - Opened by logico-philosophical over 3 years ago
Labels: enhancement

#102 - 공리계와 형식언어를 명시적으로 도입하는 구문을 추가하자

Issue - State: closed - Opened by logico-philosophical over 3 years ago - 5 comments
Labels: enhancement, language

#101 - .math 코드를 위한 빌드 시스템을 만들자

Issue - State: open - Opened by logico-philosophical over 3 years ago
Labels: enhancement

#100 - Merge v0.3.1 to master

Pull Request - State: closed - Opened by logico-philosophical over 3 years ago

#98 - 검색 바를 추가하자

Issue - State: closed - Opened by logico-philosophical over 3 years ago
Labels: enhancement

#96 - CodeMirror 편집기가 $ 변수의 자동완성을 할 수 있도록 하자

Issue - State: closed - Opened by logico-philosophical over 3 years ago - 2 comments
Labels: enhancement

#91 - |-의 우변을 {}로 감싸자

Issue - State: closed - Opened by logico-philosophical over 3 years ago
Labels: enhancement, language

#90 - 코드가 증명의 흐름대로 쓰이도록 문법을 바꾸자

Issue - State: closed - Opened by logico-philosophical over 3 years ago - 8 comments
Labels: enhancement, language

#89 - import 구문이 추이적으로 작동하는 것을 막자

Issue - State: closed - Opened by logico-philosophical almost 4 years ago - 2 comments
Labels: bug

#88 - Bump ini from 1.3.5 to 1.3.8 in /docs

Pull Request - State: closed - Opened by dependabot[bot] almost 4 years ago - 1 comment
Labels: dependencies

#87 - Bump ini from 1.3.5 to 1.3.8

Pull Request - State: closed - Opened by dependabot[bot] almost 4 years ago - 1 comment
Labels: dependencies

#86 - 25. Schröder–Bernstein theorem (schroeder_bernstein)

Issue - State: closed - Opened by logico-philosophical almost 4 years ago - 2 comments
Labels: math

#85 - 메인 페이지가 클릭한 파일만 렌더링 하도록 하자

Issue - State: open - Opened by logico-philosophical almost 4 years ago - 1 comment
Labels: enhancement

#82 - Bump highlight.js from 10.4.0 to 10.4.1 in /docs

Pull Request - State: closed - Opened by dependabot[bot] almost 4 years ago - 1 comment
Labels: dependencies

#79 - 파싱 오류

Issue - State: closed - Opened by erados almost 4 years ago - 2 comments
Labels: bug

#78 - Add NU_to_EN, EN_to_NU

Pull Request - State: closed - Opened by erados almost 4 years ago - 2 comments

#77 - Add NNeU, NNiU

Pull Request - State: closed - Opened by erados almost 4 years ago - 5 comments

#76 - Add subgroup

Pull Request - State: closed - Opened by erados almost 4 years ago - 1 comment

#75 - Internationalize

Issue - State: open - Opened by logico-philosophical almost 4 years ago - 4 comments
Labels: enhancement

#74 - 재귀정리의 𝔐A 조건을 완화시키자

Issue - State: closed - Opened by logico-philosophical almost 4 years ago
Labels: enhancement, math

#73 - x1이 $x_1$로 렌더링 되도록 하자

Issue - State: closed - Opened by logico-philosophical almost 4 years ago - 2 comments
Labels: enhancement

#72 - 죽음의 피라미드를 없애자

Issue - State: open - Opened by logico-philosophical almost 4 years ago - 3 comments
Labels: enhancement, language

#71 - ax_bigcup의 정의가 bigcup의 정의에 의존하지 않도록 하자

Issue - State: closed - Opened by logico-philosophical almost 4 years ago
Labels: math

#70 - sealed st F = N(T);

Issue - State: closed - Opened by logico-philosophical almost 4 years ago - 1 comment
Labels: enhancement, language

#69 - Add subgroup

Pull Request - State: closed - Opened by erados almost 4 years ago - 5 comments

#68 - Adding subgroup

Pull Request - State: closed - Opened by erados almost 4 years ago - 1 comment

#67 - docstring에서 하이퍼링크된 수식을 쓸 수 있도록 하자

Issue - State: closed - Opened by logico-philosophical almost 4 years ago - 1 comment
Labels: enhancement, language

#66 - docstring에서 정의나 스키마들을 참조할 수 있도록 하자

Issue - State: open - Opened by logico-philosophical almost 4 years ago - 1 comment
Labels: enhancement, language

#65 - Develop

Pull Request - State: closed - Opened by erados almost 4 years ago - 1 comment

#64 - Update abstract_algebra.math

Pull Request - State: closed - Opened by erados almost 4 years ago - 4 comments

#63 - Update abstract_algebra.math

Pull Request - State: closed - Opened by erados almost 4 years ago - 1 comment

#62 - Update abstract_algebra.math

Pull Request - State: closed - Opened by erados almost 4 years ago - 2 comments

#61 - 아벨 군 , 환 등 추가

Pull Request - State: closed - Opened by erados almost 4 years ago

#60 - npm http-server 모듈 실행시 /dist/ 접근하는 오류

Issue - State: closed - Opened by erados almost 4 years ago - 1 comment

#59 - Erados patch 1

Pull Request - State: closed - Opened by erados almost 4 years ago - 1 comment

#58 - Erados patch 1

Pull Request - State: closed - Opened by erados almost 4 years ago - 2 comments

#56 - 스키마 본체의 생김새를 명시할 수 있도록 하자

Issue - State: open - Opened by logico-philosophical almost 4 years ago
Labels: enhancement, language

#55 - 개별 증명이 검색 엔진에 의해 검색될 수 있도록 하자

Issue - State: open - Opened by logico-philosophical almost 4 years ago
Labels: enhancement

#54 - 증명탐색기가 증명을 줄글로 나타낼 수 있도록 하자

Issue - State: open - Opened by logico-philosophical almost 4 years ago
Labels: enhancement

#50 - 매크로적 정의가 구현 상세를 숨기고 특정 성질만 정리로서 드러낼 수 있도록 하자

Issue - State: closed - Opened by logico-philosophical almost 4 years ago - 8 comments
Labels: enhancement, language

#48 - as 키워드를 도입하자

Issue - State: open - Opened by logico-philosophical almost 4 years ago - 3 comments
Labels: enhancement, language

#47 - CodeMirror를 위한 mode를 만들자

Issue - State: open - Opened by logico-philosophical almost 4 years ago
Labels: enhancement

#46 - import 구문을 도입하자

Issue - State: closed - Opened by logico-philosophical almost 4 years ago - 5 comments
Labels: enhancement, language

#45 - 매크로의 정의를 사용하는 증명을 증명탐색기에서 더 명시적으로 표현하자

Issue - State: closed - Opened by logico-philosophical almost 4 years ago - 2 comments
Labels: enhancement

#43 - (...) => { ... }의 중괄호를 안 써도 되도록 하자

Issue - State: closed - Opened by logico-philosophical almost 4 years ago - 2 comments
Labels: language

#41 - ⊢E 구문의 인자를 , 말고 ;로 구분하자

Issue - State: closed - Opened by logico-philosophical almost 4 years ago - 1 comment
Labels: enhancement, language

#40 - 증명과정을 자동화하는 프로그램을 만들 수 있도록 하자

Issue - State: open - Opened by logico-philosophical almost 4 years ago
Labels: enhancement, language

#39 - 인자 추정 방식에 발전이 필요함

Issue - State: closed - Opened by logico-philosophical almost 4 years ago - 3 comments
Labels: enhancement, language

#36 - 증명 과정에서 발생하는 증명의 중복을 없앨 수 있어야 됨

Issue - State: closed - Opened by logico-philosophical about 4 years ago - 5 comments
Labels: enhancement, language

#34 - 스키마 본체에서 메타변수를 선언할 수 있는 기능을 추가하자

Issue - State: closed - Opened by logico-philosophical about 4 years ago - 5 comments
Labels: enhancement, language

#33 - 증명과정을 설명할 수 있도록 기능을 추가하자

Issue - State: open - Opened by logico-philosophical about 4 years ago - 3 comments
Labels: enhancement, language

#29 - 타입 캐스팅을 도입해야 하는가?

Issue - State: closed - Opened by logico-philosophical about 4 years ago - 2 comments
Labels: question, language

#16 - 링크를 위한 구문을 도입해야 됨

Issue - State: closed - Opened by logico-philosophical over 4 years ago - 2 comments
Labels: enhancement, language

#13 - typedef [cls -> st] pr;

Issue - State: closed - Opened by logico-philosophical over 4 years ago
Labels: enhancement, language

#10 - 정리들의 의존성 그래프를 볼 수 있도록 하자

Issue - State: open - Opened by logico-philosophical over 4 years ago - 1 comment
Labels: enhancement

#8 - proper class의 singleton이 empty set이 되는데 어떡함

Issue - State: closed - Opened by logico-philosophical almost 5 years ago - 6 comments