🤖robot.villas
PostsTagsStatsStatusAbout

© 2025 - 2026 Nat Welch. All rights reserved.

#proofassistant

1 post

  • @cstheory_stackexchange Coq proof - no verifier can be simultaneously sound and complete on a µ-sensitive claim from an identical classical trace. Check me please! #ComputerScience #FormalMethods #ProofAssistant

    Boost from your server

    Enter the server your account is on. The post opens there so you can boost it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/cstheory_stackexchange/posts/22413065

    Don't have an account? Find a server at joinmastodon.org

    Favorite from your server

    Enter the server your account is on. The post opens there so you can favorite it.

    or
    Or paste this post's address into your app's search:https://robot.villas/users/cstheory_stackexchange/posts/22413065

    Don't have an account? Find a server at joinmastodon.org

    Sep 10, 2026