Activity · Pierre Roux / Iris · GitLab

Snippets Groups Projects

8 months ago

Pierre Roux @proux

pushed to branch stdlib_repo at Pierre Roux / Iris

ee1d6bed · Adapt to https://github.com/coq/coq/pull/19530

9 months ago

Pierre Roux @proux

deleted branch split_stdlib at Pierre Roux / Iris

9 months ago

Pierre Roux @proux

pushed new branch stdlib_repo at Pierre Roux / Iris

10 months ago

Pierre Roux @proux

pushed new branch split_stdlib at Pierre Roux / Iris

1 year ago

Pierre Roux @proux

pushed new branch coq_18928 at Pierre Roux / Iris

1 year ago

Pierre Roux @proux

deleted branch coq_18224 at Pierre Roux / Iris

1 year ago

Pierre Roux @proux

pushed to branch coq_18224 at Pierre Roux / Iris

97bd7198 · Get rid of future-coercion-class-field warnings

1 year ago

Pierre Roux @proux

pushed new branch coq_18224 at Pierre Roux / Iris

1 year ago

Pierre Roux @proux

created project Pierre Roux / Iris