Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 21-Nov-2020 09:14:33 JST きゅーけー

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

   • hiromi_mi repeated this.
   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Saturday, 21-Nov-2020 09:17:50 JST きゅーけー

     in reply to

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

     hiromi_mi likes this.