Skip to content

Issues: math-o-matic/math-o-matic

New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

26 Open 48 Closed
26 Open 48 Closed
Author
Filter by author
Label
Filter by label
Use alt + click/return to exclude labels
or ⇧ + click/return for logical OR
Projects
Filter by project
Milestones
Filter by milestone
Assignee
Filter by who’s assigned
Sort
Sort by
Newest Oldest Most commented Least commented Recently updated Least recently updated Best match
Most reactions
👍 👎 😄 🎉 😕 ❤️ 🚀 👀

Issues list

매크로 정의들의 구체적 구현 방식을 숨기기 위해 공리계의 완전성을 해쳐도 되는가? math About the axiomatic system in /math directory question Further information is requested
#126 opened Jun 25, 2022 by logico-philosophical
Church encoding으로 수학을 구현해 보자 math About the axiomatic system in /math directory
#125 opened Jun 18, 2022 by logico-philosophical
2
증명 과정에서 사용되지 않는 변수나 가정에 대해 경고하는 기능을 추가하자 enhancement New feature or request
#115 opened May 20, 2021 by logico-philosophical
공리계의 모형을 만들 수 있도록 하자 enhancement New feature or request language About the math-o-matic language
#110 opened Mar 24, 2021 by logico-philosophical
3
by definition of ...에 나열되는 정의가 너무 많은 것을 고치자 bug Something isn't working
#107 opened Mar 14, 2021 by logico-philosophical
1
Division theorem math About the axiomatic system in /math directory
#106 opened Mar 10, 2021 by logico-philosophical
1
증명 작성을 위한 시각적 편집기를 추가하자 enhancement New feature or request
#104 opened Mar 2, 2021 by logico-philosophical
이항연산 및 이항관계의 메타언어 버전 및 대상언어 버전 간의 미묘한 차이를 어떻게 다룰지 정하자 math About the axiomatic system in /math directory
#103 opened Feb 28, 2021 by logico-philosophical
.math 코드를 위한 빌드 시스템을 만들자 enhancement New feature or request
#101 opened Feb 18, 2021 by logico-philosophical
증명탐색기가 $ 변수의 이름을 줄 번호 옆에 표시하도록 하자 enhancement New feature or request
#97 opened Jan 26, 2021 by logico-philosophical
메인 페이지가 클릭한 파일만 렌더링 하도록 하자 enhancement New feature or request
#85 opened Dec 10, 2020 by logico-philosophical
1
증명탐색기가 함수형 표현식의 매개변수에 대한 jump to definition을 지원하도록 하자 enhancement New feature or request
#84 opened Dec 10, 2020 by logico-philosophical
정의가 특정 조건을 만족하는 매개변수에 대하여만 의도된 것임을 표시할 수 있도록 하자 enhancement New feature or request language About the math-o-matic language
#81 opened Dec 3, 2020 by logico-philosophical
증명탐색기가 증명의 핵심적 흐름만을 표시할 수 있도록 하자 enhancement New feature or request
#80 opened Dec 3, 2020 by logico-philosophical
Internationalize enhancement New feature or request
#75 opened Nov 26, 2020 by logico-philosophical
4
죽음의 피라미드를 없애자 enhancement New feature or request language About the math-o-matic language
#72 opened Nov 23, 2020 by logico-philosophical
3
docstring에서 정의나 스키마들을 참조할 수 있도록 하자 enhancement New feature or request language About the math-o-matic language
#66 opened Nov 14, 2020 by logico-philosophical
1
스키마 본체의 생김새를 명시할 수 있도록 하자 enhancement New feature or request language About the math-o-matic language
#56 opened Nov 7, 2020 by logico-philosophical
개별 증명이 검색 엔진에 의해 검색될 수 있도록 하자 enhancement New feature or request
#55 opened Nov 7, 2020 by logico-philosophical
증명탐색기가 증명을 줄글로 나타낼 수 있도록 하자 enhancement New feature or request
#54 opened Nov 7, 2020 by logico-philosophical
as 키워드를 도입하자 enhancement New feature or request language About the math-o-matic language
#48 opened Oct 17, 2020 by logico-philosophical
3
CodeMirror를 위한 mode를 만들자 enhancement New feature or request
#47 opened Oct 17, 2020 by logico-philosophical
증명탐색기가 각 줄의 깊이를 표시하도록 하자 enhancement New feature or request
#44 opened Oct 4, 2020 by logico-philosophical
증명과정을 자동화하는 프로그램을 만들 수 있도록 하자 enhancement New feature or request language About the math-o-matic language
#40 opened Oct 1, 2020 by logico-philosophical
증명과정을 설명할 수 있도록 기능을 추가하자 enhancement New feature or request language About the math-o-matic language
#33 opened Sep 15, 2020 by logico-philosophical
3
ProTip! Add no:assignee to see everything that’s not assigned.