Topik · proofs

proofs

Repositori open source terpantau bertanda proofs, diurutkan berdasarkan bintang.

Repositori

3

Total bintang

3.413

Rata-rata bintang

1.138

Porsi

0,00%

Topik yang sering muncul berdampingan dengan proofs di repositori yang sama.

Yang sedang naik

Repositori yang dibuat dalam 90 hari terakhir dan bertanda proofs.

Tidak ada repositori baru bertanda topik ini dalam 90 hari terakhir.

#1
Project-Euler-solutions ↗@nayukiJava
Kode yang dapat dijalankan untuk menyelesaikan masalah Project Euler dalam Java, Python, Mathematica, dan Haskell.
★ 1.959-1Perubahan bintang dalam 7 hari terakhir
#2
aeneas ↗@AeneasVerifOCaml
Rantai alat verifikasi untuk program Rust
★ 946+17Perubahan bintang dalam 7 hari terakhir
#3
karamel ↗@FStarLangOCaml
KaRaMeL adalah alat untuk mengekstrak program F* tingkat rendah ke dalam kode C yang mudah dibaca
★ 518+0Perubahan bintang dalam 7 hari terakhir

← Kembali ke topik