Slothrop

(★ 8)

Slothrop is an automated equational theorem prover that performs a variant of Knuth-Bendix completion.

Slothrop 최신버젼 다운로드

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

오늘의 추천 프로젝트

reveal.js ★ 72,132

HTML 프레젠테이션 프레임워크

JavaScript
Scrapling ★ 74,546

🕷️ 단일 요청부터 대규모 크롤링까지 모든 것을 처리하는 적응형 Web Scraping 프레임워크입니다!

Python
terminal ★ 104,622

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

C++
OpenHands ★ 84,214

🙌 OpenHands: AI 기반 개발

TypeScript
mall ★ 84,558

mall 프로젝트는 Spring Boot와 MyBatis를 기반으로 구현되고 Docker 컨테이너화 배포를 채택한 프론트엔드 쇼핑몰 시스템과 백엔드 관리 시스템을

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

단 한 페이지로 커맨드 라인 마스터하기
// repository documentation