Category:2013年に作られたプログラミング言語

• 

  Lean (証明アシスタント)

  Lean (proof assistant)