develop ブランチの wip 祭りが止まらない。適当なタイミングで適当に開発しているプロジェクトで適切な粒度でコミットするとか無理なのでは。

Follow

Files · develop · Masaya Tojo / vikalpa · GitLab
gitlab.com/tojoqk/vikalpa/-/tr
定理証明手習いにでてくる定理証明支援系のJ-Bobをもとにした定理証明支援系を作ってる。だいたい動くようになってきた。

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!