Epigram

Epigram is a dependently typed functional programming language with a focus on formal verification. It is primarily used for writing certified software, proving the correctness of programs, and developing formal proofs.

Popularity: Less than 1% of developers are using or have used this language.*
*According to StackOverflow's 2023 survey.

• Official Website
• Wikipedia page