Topics

Explore topics

#langsec

Follow to get notified about new posts with this tag
dana-edwards
tauchain
10y
The MONA Project
The MONA Project
The MONA Project For all who are interested in Monadic Second Order Logic, the Mona Project may be of interest. As some may already know, Tau developer Ohad Asor has arrived at Monadic Second Order Logic
159
8

Discover communities

Explore communities
Create your community