Репозитории Пользователи Организации
Сортировать
Новейшие Старейшие По алфавиту С конца алфавита Недавно обновленные Давно обновленные Больше звезд Меньше звезд Больше форков Меньше форков
microsoft / AliveInLean
Lean 0 0
Formally verified implementation of Alive in Lean
llvm lean
Обновлено 2023-07-14 23:12:48 +03:00