https://jhaponline.org/article/view/3243
Greg Frost-Arnold. Carnap, Tarski and Quine at Harvard: Conversations on Logic, Mathematics and...
greg frostarnoldcarnaptarskiquine
https://mathstodon.xyz/@Jose_A_Alonso/115802373060646835
José A. Alonso: "Carnap: a free and open software framework writte…" - Mathstodon
Carnap: a free and open software framework written in Haskell for teaching and studying formal logic. https://carnap.io/ #Haskell #FunctionalProgramming #Logic
free and opensoftware frameworkalonsocarnap