I am a cluebie in this field, but I guess working your way through some Lean tutorials [1], and/or reading the introduction to the HoTT book [1] might either sc

I am a cluebie in this field, but I guess working your way through some Lean tutorials [1], and/or reading the introduction to the HoTT book [1] might either scare you off, or get you enthused enough to continue. [1] https://leanprover.github.io/theorem_proving_in_lean4/ https://leanprover.github.io/theorem_proving_in_lean4/ [2] https://homotopytypetheory.org/book/ https://homotopytypetheory.org/book/