До шести записів, прочитаних один проти одного за єдиним опублікованим методом: становище, профіль за категоріями, траєкторія росту та кожна вихідна цифра в одній таблиці.
aya-prover/aya-devЗавантаження…
AxiomMath/axiom-lean-engineЗавантаження…
PrincetonUniversity/VSTЗавантаження…
rzk-lang/rzkЗавантаження…
4 із 6
Жоден із обраних репозиторіїв ще не має опублікованої інспекції.