522 followers Conexus @ConexusAI @arntzenius perhaps work on Hoare type theory is related? https://t.co/yp5OrVbPFe 03 Mar 2023 Reply Repost Favourite