Display options

You can modify the default view of progscrape using query parameters.

Feedback? Email [email protected]

progscrape https://progscrape.com/
Trending tags: ai  github.com  rust  health  google  youtube.com  video  show  release  javascript  arstechnica.com  go  apple  web  techcrunch.com  nature.com  eurekalert.org  trump  security  china 

The Beacon Calculus: A formal method for the flexible and concise modelling of biological systems

9 months ago journals.plos.org formalmethods

Verifying using temporal logic of action in Dafny

10 months ago rdivyanshu.github.io formalmethods

The Ur Programming Language Family

9 months ago impredicative.com formalmethods

The World and the Machine

10 months ago hillelwayne.com formalmethods

Formalizing Date Arithmetic and Statically Detecting Ambiguities for the Law

10 months ago rmonat.fr formalmethods law pdf plt

A Modern Compiler for the French Tax Code

10 months ago arxiv.org compiler formalmethods pdf plt

Change of Name: Coq –> The Rocq Prover

11 months ago github.com formalmethods

Quint: A specification language based on the temporal logic of actions (TLA)

11 months ago github.com formalmethods

A Beginner's Companion to Theorem Proving in Lean 4

10 months ago emallson.net formalmethods

Formally modeled Dreidel for no good reason

11 months ago buttondown.email formalmethods