State in a smartphone: Inside Ukraine’s effort to replace bureaucracy with an app

This page summarizes the projects mentioned and recommended in the original post on reddit.com/r/europe
#isabelle #sel4-proofs #Proof #formalisation #sel4-microkernel

Our great sponsors
  • Scout APM - Less time debugging, more time building
  • SonarQube - Static code analysis for 29 languages.
  • SaaSHub - Software Alternatives and Reviews
Our great sponsors

  • l4v

    seL4 specification and proofs

NOTE: The number of mentions on this list indicates mentions on common posts plus user suggested alternatives. Hence, a higher number means a more popular project.

Suggest a related project

Related posts