SNAPKITTYWEST/sovereign-agc

Apollo Guidance Computer in 7 languages with Ada SPARK and Lean 4

语言：Fortran · GitHub 星标：2 · Fork：0

话题：ada · agc · apollo · lean4 · space

在 GitHub 上查看原仓库