Menu requires JavaScript. Use the links above to navigate.
m8h32gq9
Published by @sam
Created Jul 4, 2026
import Axiom namespace m8h32gq9 def GodIsGood : Prop := "God is good" end m8h32gq9
Filter file declarations by leaf or qualified name
1 declaration