Carnap Ten Years Later: Lessons Learned and Next Steps

Graham Leach-Krouse

The first part of this paper provides an experience report, recounting the design and long-term maintenance of the Carnap proof assistant framework used cumulatively by over 45,000…