YouTube のサムネに簡単に証明できそうな定理が書いてあるのを見つけて ACL2 で証明できるか試したくなり、ACL2 モチベが久しぶりに上昇してる。
YouTube のサムネに簡単に証明できそうな定理が書いてあるのを見つけて ACL2 で証明できるか試したくなり、ACL2 モチベが久しぶりに上昇してる。
076萌SNS is a social network, courtesy of 076. It runs on GNU social, version 2.0.2-beta0, available under the GNU Affero General Public License.
All 076萌SNS content and data are available under the Creative Commons Attribution 3.0 license.