JuliaMono
https://juliamono.netlify.app/
定理証明支援系用のフォントについて