I am dabbling in the cousin language Lean right now, and it is very fun to use!
Some quick info for Lean:
Homepage: https://leanprover.github.io/
Source: https://github.com/leanprover/lean4
Wikipedia: https://en.wikipedia.org/wiki/Lean_(proof_assistant)