TNT

(★ 8)

some simple&naive formal proof of trivial Number Theory, using Agda/Coq, just to practice skills

TNT 최신버젼 다운로드

최종 버전 다운로드 (.zip)

오늘의 추천 프로젝트

spec-kit ★ 129,504

💫 Spec-Driven Development을 쉽게 시작할 수 있도록 도와주는 툴킷

Python
the-art-of-command-line ★ 162,129

단 한 페이지로 커맨드 라인 마스터하기
gitignore ★ 175,327

유용한 .gitignore 템플릿 모음
ant-design ★ 99,086

기업용 UI 디자인 언어 및 React UI 라이브러리

TypeScript
uptime-kuma ★ 90,222

자신의 서버에서 호스팅하는 감시 도구

JavaScript
tesseract ★ 75,947

Tesseract 오픈소스 OCR 엔진 (메인 저장소)

C++
// repository documentation