Call python from Common Lisp
- common-lisp
- python
Repository Index
47,133 repositories indexed
1–3 of 3 · Most stars
CloudSlang Language, CLI and Builder
A library of mechanised undecidability proofs in the Coq proof assistant.
47,133 repositories indexed
1–3 of 3 · Most stars
Call python from Common Lisp
CloudSlang Language, CLI and Builder
A library of mechanised undecidability proofs in the Coq proof assistant.