FACT
FACT is a functional programming language designed for formal specification and verification of computer systems. It is commonly used in academia and industry for software development, model checking, and theorem proving.
Popularity: Less than 1% of developers are using or have used this language.*
*According to StackOverflow's 2023 survey.