https://www.yodaiken.com/2025/10/24/specifications-like-temporal-logic-but-with-ordinary-mathematics/
#computerscience
#specification
#temporallogic
#automata
#sequentialfunctions
Client Info
Server: https://mastodon.social
Version: 2025.07
Repository: https://github.com/cyevgeniy/lmst