jlimperg Goto Github PK

lean4-rewriting

Tests around generalized rewriting in Lean 4.

leanprover-community.github.io

Hosts the website for mathlib and other Lean community infrastructure.

learnhaskell

Learn Haskell

logical_verification_2019

Repository for the course Logical Verification 2019–2020 at VU Amsterdam

mathlib-bench

Benchmarker for Lean's mathlib

mathport

Mathport is a tool for porting Lean3 projects to Lean4

monopoly

Example development for lecture

msc-thesis

A Reflexive Graph Model of Sized Types (M.Sc. thesis)

msc-thesis-code

Agda formalisation of my M.Sc. thesis: a lambda calculus with sized types and a reflexive graph model of the same

nqueens

Evolutionary solution to the N-Queens problem.

opdtab

Tabbing software for OPD debating tournaments

salssuite

Server-Client-Tool for the organisers of 'Schule als Staat' or similar projects.

sessiontypes

Some mechanised proofs about session types

std4

Standard Library for Lean 4

tabbycat-feedback

tajs

Type Analyzer for JavaScript

test-lake-bug

tlc

Personal fork of Arthur Charguéraud's TLC Coq library, for use as a dependency in other projects

tournaman-aux

A helper programme for Tournaman

unimath

This coq library aims to formalize a substantial body of mathematics using the univalent point of view.

website-theory-amsterdam

well-founded-corecursion

An attempt to integrate well-founded recursion into corecursion

wmce-playlist

Create a Spotify playlist from the World Music Charts Europe charts