หน้าแรก>แหล่งข้อมูลการสร้างเว็บไซต์>ข้อมูลเว็บไซต์
ดาวน์โหลด

สุภาษิตทฤษฎีบทแบบโต้ตอบ

Slate เป็นสุภาษิตทฤษฎีบทแบบโต้ตอบที่กำลังอยู่ระหว่างการพัฒนา ที่เก็บนี้มีไลบรารีมาตรฐาน

การเข้าถึงเว็บ

กระดานชนวนได้รับการออกแบบเป็นเว็บแอปพลิเคชัน ห้องสมุดทั้งหมดสามารถแก้ไขได้โดยใช้เว็บอินเตอร์เฟสที่ https://slate-prover.org/

เว็บอินเตอร์เฟสจะสร้างส้อมส่วนตัวของที่เก็บนี้โดยอัตโนมัติสำหรับผู้สนับสนุนแต่ละคนและส่งการส่งเป็นคำขอดึง

การพัฒนาท้องถิ่น

สำหรับงานที่ซับซ้อนมากขึ้นเราขอแนะนำให้ขยายรหัส Microsoft Visual Studio โปรดทำตามคำแนะนำในหน้านั้น

ที่เก็บกระดานชนวนมีไลบรารีเป็น submodule git ในการอัปโหลดการเปลี่ยนแปลงในพื้นที่คุณจะต้องเพิ่มส้อมของคุณเองเป็นระยะไกล Git สำหรับ submodule นี้

ขยาย
ข้อมูลเพิ่มเติม
แอปที่เกี่ยวข้อง
แนะนำสำหรับคุณ
ข้อมูลที่เกี่ยวข้อง ทั้งหมด