Monday, March 31, 2025

Show HN: TypeScript as a proof assistant for intuitionistic propositional logic https://ift.tt/JYdjIM2

Show HN: TypeScript as a proof assistant for intuitionistic propositional logic https://ift.tt/Lue2tFd March 31, 2025 at 11:22PM
at
Labels:

No comments:

Post a Comment

Subscribe to: Post Comments (Atom)

Show HN: Easily visualize torch, Jax, tf, NumPy, etc. tensors https://ift.tt/anqfwJx

Show HN: Easily visualize torch, Jax, tf, NumPy, etc. tensors hey hn, wrote a python library for myself to visualize tensors. Makes learning...