Activity · HumamAlhusaini / lambda-rust · GitLab

Snippets Groups Projects

1 month ago

HumamAlhusaini @HumamAlhusaini

pushed to branch master at HumamAlhusaini / lambda-rust

9293ea33 · fixed .gitlab-cli and README for rocq 9.0.0

1 month ago

HumamAlhusaini @HumamAlhusaini

pushed to branch master at HumamAlhusaini / lambda-rust

f7e74ec4 · added coq 9.0.0 to README and .gitlab-ci

1 month ago

HumamAlhusaini @HumamAlhusaini

pushed to branch master at HumamAlhusaini / lambda-rust

7521ced9 · Merge branch 'master' of gitlab.mpi-sws.org:HumamAlhusaini/lambda-rust
... and 1 more commit. Compare 93644858...7521ced9

1 month ago

HumamAlhusaini @HumamAlhusaini

pushed to branch master at HumamAlhusaini / lambda-rust

93644858 · Merge branch 'master' of gitlab.mpi-sws.org:HumamAlhusaini/lambda-rust
... and 2 more commits. Compare 9648927f...93644858

1 month ago

HumamAlhusaini @HumamAlhusaini

pushed to branch master at HumamAlhusaini / lambda-rust

9648927f · added docs for Rocq Prover

1 month ago

HumamAlhusaini @HumamAlhusaini

created project HumamAlhusaini / lambda-rust