-
University of Tennessee, Knoxville
- https://orcid.org/0000-0002-7212-7399
- in/mirkamandich
Block or Report
Block or report mirkamandich
Report abuse
Contact GitHub support about this user’s behavior. Learn more about reporting abuse.
Report abuseLists (3)
Sort Name ascending (A-Z)
Stars
Language: Lean
All languages
AGS Script
Batchfile
C
C++
CSS
JavaScript
Jupyter Notebook
Lean
MATLAB
Python
SCSS
Shell
TeX
TypeScript
Nothing to show
Sort by: Most stars
1
star
written in Lean
Clear filter