Giters
tukamilano

tukamilano

Geek Repo

0

followers

0

following

0

stars

Github PK Tool:Github PK Tool

tukamilano's repositories

GeoLean

A Lean Library for Axiomatic Geometry(WIP)

Language:LeanStargazers:0Issues:0Issues:0

lean-example

Language:LeanStargazers:0Issues:0Issues:0

lean3-example

Language:LeanStargazers:0Issues:0Issues:0

Lean_dojo_playground

Language:PythonStargazers:0Issues:0Issues:0

zr-obp

Open Bandit Pipeline: a python library for bandit algorithms and off-policy evaluation

Language:PythonLicense:Apache-2.0Stargazers:0Issues:0Issues:0