Welcome to husky-lang-org! The word husky means that we want to work happily!
Pinned Loading
Repositories
Showing 10 of 60 repositories
- PutnamBench Public Forked from trishullab/PutnamBench
An evaluation benchmark for undergraduate competition math in Lean4, Isabelle, Coq, and natural language.
xiyuzhai-husky-lang/PutnamBench’s past year of commit activity - coq-of-rust Public Forked from formal-land/coq-of-rust
Formal verification tool for Rust: check 100% of execution cases of your programs 🦀 to make super safe applications!
✈️ 🚀 ⚕️ 🏦xiyuzhai-husky-lang/coq-of-rust’s past year of commit activity - visored-cli-example Public
xiyuzhai-husky-lang/visored-cli-example’s past year of commit activity - Pantograph Public Forked from leanprover/Pantograph
(Mirror) A Lean machine-to-machine interaction library
xiyuzhai-husky-lang/Pantograph’s past year of commit activity - mathematics_in_lean Public Forked from leanprover-community/mathematics_in_lean
The user home repository for the Mathematics in Lean tutorial.
xiyuzhai-husky-lang/mathematics_in_lean’s past year of commit activity - PyPantograph Public Forked from stanford-centaur/PyPantograph
A Machine-to-Machine Interaction System for Lean 4.
xiyuzhai-husky-lang/PyPantograph’s past year of commit activity
Top languages
Loading…
Most used topics
Loading…