Avatar for Benjamin Brast-McKie from gravatar.com

Benjamin Brast-McKie

Username    benbrastmckie
Date joined   Joined

1 project

model-checker

Last released

A hyperintensional theorem prover for developing and exploring programmatic semantic theories.
Anthropic, PBC Visionary sponsor Bloomberg Visionary sponsor Hudson River Trading Visionary sponsor Meta Visionary sponsor NVIDIA Visionary sponsor Microsoft Sustainability sponsor Depot Continuous Integration AWS Cloud computing and Security Sponsor Datadog Monitoring Fastly CDN Google Download Analytics Sentry Error logging StatusPage Status page