nasa/pvslib
View on GitHub ↗ ★ 315 Common Lisp
NASA PVS Library of Formal Developments
3 mentions on Hacker News by 3 people: 1 story, 2 comments · first 2016-12-19 · latest 2026-03-12
20082026
-
…NASA which has a collection of theorem proving libraries called variously PVSLib or NASALib (< https://github.com/nasa/pvslib >). There is a lot more as well, of course, but these two are clear examples of Common Lisp being used in 'the…
comment by tmtvl · 2026-03-12 · in SBCL: A Sanely-Bootstrappable Common Lisp (2008) [pdf] -
…https://www.reddit.com/r/lisp/comments/3nnvnp/fluff_anyone_e... https://github.com/nasa/pvslib/blob/master/power/exponentiat...
comment by junke · 2016-12-19 · in The First Bug on Mars