Conversation

Notices

1. きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 03-Jun-2024 01:48:22 JST きゅーけー

   PrimeExpMap、Caolton で一度実装したけどやっぱ Coalton はまだリリースされていないのがネックだよなあ。ACL2 の勉強を再開して ACL2 で実装しようかな。

   • きゅーけー (tojoqk@mastodon.tojo.tokyo)'s status on Monday, 03-Jun-2024 01:48:42 JST きゅーけー

     in reply to

     素数どう扱えばいいのか分からんかったのでそのあたりの勉強からすることになる。