Skip to content

GitLab

Explore

Sign in

L

lambda-rust

Project information

The Coq development of LambdaRust

1,211 Commits
35 Branches
3 Tags

README
BSD 3-Clause "New" or "Revised" License

Created on

January 13, 2021

Copy SSH clone URLgit-rts@gitlab.mpi-sws.org:simonspies/lambda-rust.git
Copy HTTPS clone URLhttps://gitlab.mpi-sws.org/simonspies/lambda-rust.git

Loading