きゅーけー仕事で証明したくなるようなロジックがあったので、いま趣味で書いているのが終わったら、また ACL2 の勉強しようと思ってる。
０７６萌ＳＮＳ is a social network, courtesy of ０７６. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.
All ０７６萌ＳＮＳ content and data are available under the Creative Commons Attribution 3.0 license.