These are public posts tagged with #deepspec. You can interact with them if you have an account anywhere in the fediverse.
CS People: anyone with formal proof experience? We're toying with some research into #DeepSpec style formal proofs of architectures and language and I'm looking for some good survey papers to get up to speed. Any suggestions?