Nawaz Shaikh's repositories
Class-10-NCERT-Solutions-App
An Android project to view all NCERT Solutions of class X in an app implementing List Views, Grid Layout and Card Views.
Language:Java000
Language:TypeScriptNOASSERTION000
math-classes
A library of abstract interfaces for mathematical structures in Coq [maintainer=@spitters]
Language:CoqMIT000