Trends

Search

Topics

Nodes

< back

#ITP

7 40

English(7)

github.com (5) isa-afp.org (1) lean-lang.org (1)

3

From github.com

GitHub - andreadlm/master-thesis: A LEAN-certified reversibilization of Meyer-Ritchie LOOP language. Master thesis in computer science.

3 3

A LEAN-certified reversibilization of Meyer-Ritchie LOOP language. Master thesis in computer science. - andreadlm/master-thesis

3h ago

1

From isa-afp.org

Formally Verified Suffix Array Construction

1 1

#ITP #isabellehol

9h ago

1

From lean-lang.org

Lean 4.12.0 — Lean

1 1

#ITP #lean4 #leanprover

10h ago

1

From github.com

M2Lyon2425/M2Lyon2425/SetsAndFunctions2_solutions.lean at 154580095a0b2f8fe0d98ec6e956ab98e0bf0c15 · faenuccio-teaching/M2Lyon2425

1 1

This is the repository for the Lean master program in Lyon for 2024-25 - faenuccio-teaching/M2Lyon2425

#ITP #math #lean4 #leanprover

2h ago

1

From github.com

M2Lyon2425/M2Lyon2425/Lectures/SetsAndFunctions2_lecture.md at 154580095a0b2f8fe0d98ec6e956ab98e0bf0c15 · faenuccio-teaching/M2Lyon2425

1 1

This is the repository for the Lean master program in Lyon for 2024-25 - faenuccio-teaching/M2Lyon2425

#ITP #math #lean4 #leanprover

3h ago

Showing first 5 out of 5