Awesome Open Source

Programming Languages

Search results for step coq

6 search results found

PeaCoq is a pretty Coq, isn't it?

Dot Iris ⭐ 29

Scala Step-by-Step: Soundness for DOT with Step-Indexed Logical Relations in Iris — Coq Formalization

moved to https://github.com/keigoi/Coq4iOS2

Coq2latex ⭐ 20

A command-line tool to generate Latex (inference rules) from inductive coq definitions.

Waterproof ⭐ 17

Waterproof is an educational environment for writing mathematical proofs in interactive notebooks. See the readme file for install instructions.

Smallstepni ⭐ 6

Mechanization of a noninterference proof for a toy imperative language with small-step semantics in Coq

Related Searches

Javascript Step (4,257)

Python Step (3,187)

Java Step (2,634)

Shell Step (1,020)

Html Step (934)

Docker Step (768)

Reactjs Step (765)

Ruby Step (748)

Ocaml Coq (164)

1-6 of 6 search results

Privacy | About | Terms | Follow Us On Twitter

Copyright 2018-2024 Awesome Open Source. All rights reserved.