Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 14-Dec-2020 22:33:05 JST きゅーけー

   今、Guile のサブセット(激ショボ)用の定理証明支援系を作って動的型付けの弱点を解消？する試みをしているので、Ruby 3 の動きにはちょっと共感できる気がする。まだ証明を探索する機能とかは作ってないから、まったく実用的とは言えない。基本的には ACL2 と J-Bob の二番煎じなんだけど、Common Lisp よりも Scheme が好きという問題があるので仕方がない。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 14-Dec-2020 22:38:35 JST きゅーけー

     in reply to

     証明の自動探索とか大変すぎるので、それ以外が完成したら master にマージして 0.0.1 でリリースしちゃおう。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 14-Dec-2020 22:42:25 JST きゅーけー

     in reply to

     0.1.0 にするhttps://mathtod.online/@cmplstofB/105378824972470794