This website requires JavaScript.
Explore
Help
Sign in
imiel
0 followers
·
0 following
RSS feed
Atom feed
SSH keys
GPG keys
Joined on
2026-04-17
Repositories
3
3
Projects
0
Packages
0
Public activity
Starred repositories
3
Filter
Clear filters
Archived
Not archived
Forks
Not forks
Mirrors
Not mirrors
Templates
Not templates
Private
Public
Sort
Newest
Oldest
Alphabetically
Reverse alphabetically
Recently updated
Least recently updated
Most stars
Fewest stars
Most forks
Fewest forks
Smallest size
Largest size
iris
Lean
1
0
Small (toy) dependently typed core w. a bidirectional typechecker
Updated
2026-04-19 18:08:54 +00:00
melion
Lean
1
0
Formalisation of a verified translation from an imperative source language into SSA w/ semantics/correctness proofs
Updated
2026-04-19 03:04:18 +00:00
remina
Lean
1
0
Dependently typed core calculus with mechanised soundness proofs
Updated
2026-04-18 21:27:53 +00:00
Block user
Please note that blocking a user has other effects, such as:
You will stop following each other and will not be able to follow each other.
This user will not be able to interact with the repositories you own, or the issues and comments you have created.
You will not be able to add each other as repository collaborators.
No
Yes
