recursive-bench

(★ 9)

recursive benchmark for different proof systems

recursive-bench 최신버젼 다운로드

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

오늘의 추천 프로젝트

fucking-algorithm ★ 135,358

LeetCode를 격파하세요. 어떻게 해야 하는지뿐만 아니라, 왜 그런지까지 이해하면서요.

Markdown
codex ★ 110,839

터미널에서 실행되는 경량 코딩 에이전트

Rust
freeCodeCamp ★ 454,412

freeCodeCamp.org의 오픈소스 코드베이스와 커리큘럼입니다. 수학, 프로그래밍, 컴퓨터 과학을 무료로 배우세요.

TypeScript
awesome-llm-apps ★ 133,464

100개 이상의 AI Agents, Agent Skills 및 RAG Apps - 무료 오픈소스.

Python
clean-code-javascript ★ 94,761

JavaScript 환경에 맞게 적용된 Clean Code 개념들

JavaScript
terminal ★ 104,654

새로운 Windows Terminal과 기존 Windows 콘솔 호스트가 모두 한곳에 모여 있습니다!

C++
// repository documentation