User data from Github https://github.com/andreadlm
followers
following
stars
Company:Reply
Location:Cuneo, Italy
GitHub:@andreadlm
A LEAN-certified reversibilization of Meyer-Ritchie LOOP language. Master thesis in computer science.
University stuff at unito - Computer Science Department
School projects at I.T.I.S. "Mario Delpozzo" - Computer Science and telecommunications branch
