Pinned Repositories
Linux
logia
A simple theorem prover for Coq.
Spark-Course
An Apache Spark course based on Spark: The Definitive Guide
siladitya-basu's Repositories
siladitya-basu/logia
A simple theorem prover for Coq.
siladitya-basu/Linux
siladitya-basu/Spark-Course
An Apache Spark course based on Spark: The Definitive Guide