🔗 About logicalfoundations.org Contributors include Charlotte Aten Venanzio Capretta William DeMeo Hyeyoung Shin