定理証明系言語 - mrsekut-p

定理証明系言語

型システムを使って自動定理証明を行うプログラミング言語

例

https://github.com/uwu-tech/Kind

A modern proof language

http://uwu.tech/App.Kind

https://www.slideshare.net/ussopyon/ss-43846794