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

No comments:

Post a Comment

Show HN: Real time visual saliency detection https://ift.tt/FZLMlcC

Show HN: Real time visual saliency detection I've just made public a library to perform real time visual saliency detection on videos (b...