Translation of Python code to Coq | Formal Land ( formal.land )
![](https://mbin.grits.dev/media/cache/resolve/entry_thumb/75/e3/75e3a83e358c1872dea2b2186ee019b2d318dcb57e90d47395df74594504b741.png)
This magazine is from a federated server and may be incomplete. For a complete list of posts, browse on the original instance.
Simple Python bindings for @ggerganov's llama.cpp library. This package provides:...
cross-posted from: https://programming.dev/post/13395352...
It runs!.. it's just a toy.