Similar to Lean_(証明アシスタント)

Lean (proof assistant)

Windows UI Library

F Sharp (programming language)

CatBoost

Wolfram Mathematica

PowerShell

Q Sharp

TypeScript

ASP.NET MVC

Azure Linux

LightGBM

SONiC (operating system)

Windows Terminal

Mimalloc

OBS Studio

LibreOffice

XGBoost

Tesseract (software)

1093 (number)

Agda (programming language)

Clean (programming language)

Clojure

Common Lisp

Dylan (programming language)

Elm (programming language)

Erlang (programming language)

F* (programming language)