Giters
Siladitya Basu (siladitya-basu)

siladitya-basu

Geek Repo

3

followers

8

following

36

stars

Github PK Tool:Github PK Tool

Siladitya Basu's repositories

logia

A simple theorem prover for Coq.

Language:PythonStargazers:4Issues:1Issues:0

Linux

Stargazers:0Issues:0Issues:0

Spark-Course

An Apache Spark course based on Spark: The Definitive Guide

Language:Jupyter NotebookStargazers:0Issues:0Issues:0