Giters
math-o-matic
/
math-o-matic
Computerized proof system on the web
Geek Repo:
Geek Repo
Github PK Tool:
Github PK Tool
Stargazers:
6
Watchers:
2
Issues:
74
Forks:
0
math-o-matic/math-o-matic Issues
공리계의 모형을 만들 수 있도록 하자
Updated
a year ago
Comments count
3
Church encoding으로 수학을 구현해 보자
Updated
a year ago
Comments count
2
Internationalize
Updated
a year ago
Comments count
4
매크로 정의들의 구체적 구현 방식을 숨기기 위해 공리계의 완전성을 해쳐도 되는가?
Updated
2 years ago
모든 매크로 변수가 기본적으로 `sealed`이도록 하자
Closed
2 years ago
Comments count
3
죽음의 피라미드를 없애자
Updated
2 years ago
Comments count
3
docstring에서 하이퍼링크된 수식을 쓸 수 있도록 하자
Closed
2 years ago
Comments count
1
docstring에서 정의나 스키마들을 참조할 수 있도록 하자
Updated
2 years ago
Comments count
1
by definition of ...에 나열되는 정의가 너무 많은 것을 고치자
Updated
2 years ago
Comments count
1
공리계와 형식언어를 명시적으로 도입하는 구문을 추가하자
Closed
2 years ago
Comments count
5
CodeMirror를 위한 mode를 만들자
Updated
2 years ago
import 구문이 추이적으로 작동하는 것을 막자
Closed
2 years ago
Comments count
2
ExpressionResolver와 ProofExplorer의 코드를 각 노드들에 집어넣자
Closed
4 years ago
Comments count
2
증명 과정에서 사용되지 않는 변수나 가정에 대해 경고하는 기능을 추가하자
Updated
3 years ago
↦I 및 ↦E를 우리 체계의 추론규칙에 포함시키자
Closed
3 years ago
메인 페이지가 클릭한 파일만 렌더링 하도록 하자
Updated
3 years ago
Comments count
1
이항연산 및 이항관계의 메타언어 버전 및 대상언어 버전 간의 미묘한 차이를 어떻게 다룰지 정하자
Updated
3 years ago
Division theorem
Updated
3 years ago
Comments count
1
증명 작성을 위한 시각적 편집기를 추가하자
Updated
3 years ago
.math 코드를 위한 빌드 시스템을 만들자
Updated
3 years ago
import 구문을 도입하자
Closed
3 years ago
Comments count
5
매크로의 정의를 사용하는 증명을 증명탐색기에서 더 명시적으로 표현하자
Closed
3 years ago
Comments count
2
검색 바를 추가하자
Closed
3 years ago
증명탐색기가 $ 변수의 이름을 줄 번호 옆에 표시하도록 하자
Updated
3 years ago
CodeMirror 편집기가 $ 변수의 자동완성을 할 수 있도록 하자
Closed
3 years ago
Comments count
2
25. Schröder–Bernstein theorem (schroeder_bernstein)
Closed
3 years ago
Comments count
2
코드가 증명의 흐름대로 쓰이도록 문법을 바꾸자
Closed
4 years ago
Comments count
8
as 키워드를 도입하자
Updated
4 years ago
Comments count
3
|-의 우변을 {}로 감싸자
Closed
4 years ago
⊢E 구문의 인자를 , 말고 ;로 구분하자
Closed
4 years ago
Comments count
1
(...) => { ... }의 중괄호를 안 써도 되도록 하자
Closed
4 years ago
Comments count
2
매크로적 정의가 구현 상세를 숨기고 특정 성질만 정리로서 드러낼 수 있도록 하자
Closed
4 years ago
Comments count
8
sealed st F = N(T);
Closed
4 years ago
Comments count
1
스키마 본체의 생김새를 명시할 수 있도록 하자
Updated
4 years ago
정의가 특정 조건을 만족하는 매개변수에 대하여만 의도된 것임을 표시할 수 있도록 하자
Updated
4 years ago
증명탐색기가 함수형 표현식의 매개변수에 대한 jump to definition을 지원하도록 하자
Updated
4 years ago
증명탐색기가 증명의 핵심적 흐름만을 표시할 수 있도록 하자
Updated
4 years ago
ax_bigcup의 정의가 bigcup의 정의에 의존하지 않도록 하자
Closed
4 years ago
x1이 $x_1$로 렌더링 되도록 하자
Closed
4 years ago
Comments count
2
파싱 오류
Closed
4 years ago
Comments count
2
재귀정리의 𝔐A 조건을 완화시키자
Closed
4 years ago
ax_doubleton의 정의가 doubleton의 정의에 의존하지 않도록 하자
Closed
4 years ago
npm http-server 모듈 실행시 /dist/ 접근하는 오류
Closed
4 years ago
Comments count
1
증명탐색기가 증명을 줄글로 나타낼 수 있도록 하자
Updated
4 years ago
개별 증명이 검색 엔진에 의해 검색될 수 있도록 하자
Updated
4 years ago
unseal 구문과 관련된 끔찍한 버그를 고치자
Closed
4 years ago
Comments count
4
Funcall#equalsInternal()에 있는 버그를 고치자
Closed
4 years ago
Comments count
1
콘솔에서 Ctrl + Enter로 새 줄을 만들 수 있게 하자
Closed
4 years ago
증명탐색기에서 세로줄 두 개가 붙는 것을 떼어내자
Closed
4 years ago
Comments count
2
증명탐색기가 각 줄의 깊이를 표시하도록 하자
Updated
4 years ago
Previous
Next