Plume

Search Log In Register

lthms lthms@mastodon.social

Open on mastodon.social

Formal methods researcher · FP Enthusiast

Articles Subscribers Subscriptions

Fediverse.blog

About this instance Privacy policy

Plume 0.7.3-dev

Documentation Source code Matrix room