BooleanAlgebrasIntro2 - News
Nice fertile new direction
Item posted by Daniel Wyckoff <deluger> on Fri 23 Apr 2021 01:43:11 AM UTC.
For the foreseeable future (10+ years) the focus of bool2 will be a clean small group theory interface for embedded solutions. No bigger than small extensions of S4. Canticle is the name of the project that will apply and grow the group theory, and it's part of the bool2 source tree. The goal of Canticle, the device, is to provide bytewise numeric keypad input that measures wireless USB latency, by operational certification in C. I'm not completely sure what that means either, other than that I have a vested interest in engineering a lightweight intricate implementation of the pseudo-code in Gregory Butler's "Fundamental Algorithms for Permutation Groups" in C.
Coq development is on hold until the universe needs it more!
Powered by Savane 3.15-e6e5.
Corresponding source code