slate hlm

슬레이트 대화식 정리 속담

슬레이트는 현재 개발중인 대화식 정리 전공입니다. 이 저장소에는 표준 라이브러리가 포함되어 있습니다.

웹 액세스

슬레이트는 웹 응용 프로그램으로 설계되었습니다. 전체 라이브러리는 https://slate-prover.org/의 웹 인터페이스를 사용하여 편집 할 수 있습니다.

웹 인터페이스는 각 기고자에 대한이 저장소의 개인 포크를 자동으로 생성하고 제출물을 풀 요청으로 보냅니다.

지역 개발

보다 복잡한 작업을 위해서는 Microsoft Visual Studio 코드의 확장을 권장합니다. 해당 페이지의 지침을 따르십시오.

슬레이트 리포지토리에는 라이브러리가 git 하위 모듈로 포함되어 있습니다. 로컬 변경 사항을 업로드하려면이 하위 모듈의 GIT 리모컨으로 자신의 포크를 추가해야합니다.