Chủ sở hữu · jrh13

jrh13

Các kho mã nguồn mở đang theo dõi của jrh13, sắp xếp theo số sao.

1 kho mã

#1
hol-light ↗@jrh13OCaml
Trình chứng minh định lý HOL Light
★ 550+0Thay đổi số sao trong 7 ngày qua