Follow

Guile で動く定理証明支援系を作った。だいたい自分の望むものは手に入ったので、とりあえずはこれを使って『定理証明手習い』を一周してみようと思う。

gitlab.com/tojoqk/vikalpa

· · Web · 1 · 1 · 5

まだドキュメントはないので使い方を把握するのは困難な状況なのですが、下記で append の結合性の証明をしているのでなんとなく何をやっているのかは把握できるかもと思ってます。

gitlab.com/tojoqk/vikalpa/-/bl

Show thread
Sign in to participate in the conversation
Mastodon

The social network of the future: No ads, no corporate surveillance, ethical design, and decentralization! Own your data with Mastodon!