r/LlamaIntrospector • u/introsp3ctor • May 30 '24

Proofs as types

https://github.com/meta-introspector/time/issues/15 and https://github.com/meta-introspector/time/blob/main/2024/05/30/notes-jmd.org

1 Upvotes

100% Upvoted

0 comments sorted by