Formalized Mathematics (Open Access Journal) #1 Post by danielam » Tue, Jul 14, 2026, 4:01 PM UTC Formalized Mathematics (Open Access Journal)reference-global.com