dear formal methods folk, is there a convenient tool for modelling agent-knowledge in (cryptographic) protocols that I should know of?
I've been playing around in Prolog a little (see image), but I'm sort of drawing a blank on how I'd properly model this. https://mastodon.social/media/5xooGPOV-Cm__VHC0kI
unicode rendering in my terminal is definitely working out great https://mastodon.social/media/2TooDXqCdB5Az6o_Yo4
a wild edef ⚧Ⓐ☭✊ /i:.dɛf/
manipulating etchings in poisoned sand
Server run by the main developers of the project It is not focused on any particular niche interest - everyone is welcome as long as you follow our code of conduct!