Avatar for max cutlyp from gravatar.com

max cutlyp

Username    maxcutlyp
Date joined   Joined

2 projects

folutil

Last released

Tools for working with proofs in first-order logic and propositional logic

vimnote

Last released

a vim-based TUI notetaking application

Supported by

AWS Cloud computing and Security Sponsor Datadog Monitoring Depot Continuous Integration Fastly CDN Google Download Analytics Pingdom Monitoring Sentry Error logging StatusPage Status page