토픽 · proof-assistant
proof-assistant
proof-assistant 태그가 달린 추적 중인 오픈소스 리포지토리를 스타 수 순으로 보여줘요.
리포지토리
8
총 스타
17,520
평균 스타
2,190
비중
0.00%
관련 토픽
같은 리포지토리에 proof-assistant 태그와 자주 함께 쓰이는 토픽이에요.
최근 라이징
최근 90일 안에 만들어지고 proof-assistant 태그가 달린 리포지토리예요.
최근 90일 안에 이 토픽 태그가 달린 새 리포지토리가 없어요.
- #1
Rocq Prover는 대화형 정리 증명기이자 증명 보조 도구입니다. 수학적 정의, 실행 가능한 알고리즘, 정리를 작성하기 위한 형식 언어와 기계로 검증된 증명을 반대화형으로 개발할 수 있는 환경을 제공합니다.
★ 5,562+4최근 7일 스타 변화 - #2★ 3,103+4최근 7일 스타 변화
- #3★ 2,922+3최근 7일 스타 변화
- #4
인공지능의 대중화를 목표로 하며 고평가된 Y Combinator 스타트업에 대한 무료 오픈소스 대안을 제공하도록 설계된 엔터프라이즈급 AI 에이전트 라이브러리
★ 2,806+7최근 7일 스타 변화 - #5
Agda로 배우는 프로그래밍 언어 이론 소개
★ 1,514+0최근 7일 스타 변화 - #6★ 558+2최근 7일 스타 변화
- #7★ 547+0최근 7일 스타 변화
- #8★ 508+1최근 7일 스타 변화
