Mizar system
The Mizar system is a formal proof assistant that uses a special programming language for writing mathematical proofs. It is primarily used in the field of formal mathematics to ensure the correctness and rigor of mathematical proofs.
Popularity: Less than 1% of developers are using or have used this language.*
*According to StackOverflow's 2023 survey.
Repositories on GitHub: 1,822,470