RIP
Tutorial
Tags
Topics
Examples
eBooks
Topics
topic.Title
topic.Title
topic.Title
topic.Title
topic.Title
topic.Title
topic.Title
topic.Title
Examples
example.Title
example.Title
example.Title
example.Title
example.Title
example.Title
example.Title
example.Title
example.Title
example.Title
example.Title
example.Title
example.Title
example.Title
example.Title
example.Title
example.Title
example.Title
example.Title
Topics
Getting started with Elixir Language
Getting started with Elm Language
Lists and Iteration
Types, Type Variables, and Type Constructors
Getting started with coq
The Elm Architecture
Searching for an existing fact with Search and variants
Using Tactics
Examples
Creating a list by range
Creating a list
Getting elements
Transforming every element of a list
Filtering a list
Comparable data types
Initialize and build
Basic Types
Testing and installating Coq
Program
REPL
Creating a list by repeating a value
Facts about a particular identifier
Searching for a pattern
Special Type Variables
A simple proof
Searching for a pattern in the conclusion of a lemma
Installation with Nix
Trivial example of a case analysis
Zimm i48
StackOverflow Profile
Cookie
This website stores cookies on your computer.
We use cookies to enhance your experience on our website and deliver personalized content.
For more details on our cookie usage, please review our
Cookie Policy
and
Privacy Policy
Accept all Cookies
Leave this website
