I'm working on an algorithm that proves theorems automatically using Java.
4/15/2021
11/24/2020
10/6/2020
7/3/2020
6/30/2020
6/27/2020
6/22/2020
6/16/2020
5/6/2020
5/1/2020
4/29/2020
4/25/2020
4/18/2020
12/20/2018
4/15/2017
3/28/2017
3/20/2017
3/5/2017
2/12/2017
2/9/2017
2/1/2017
1/26/2017
1/22/2017
1/20/2017
1/16/2017
1/10/2017
12/23/2016
12/20/2016
12/19/2016
12/11/2016
11/20/2016
11/15/2016
11/12/2016
11/4/2016
10/30/2016
10/15/2016
10/5/2016
9/11/2016
9/3/2016
8/13/2016
11/21/2015
3/12/2015
1/7/2015
12/13/2014
12/9/2014
12/1/2014
11/28/2014
11/22/2014
11/3/2014
10/30/2014
10/4/2014
10/3/2014
10/1/2014
9/25/2014
9/20/2014
9/17/2014
![City of Stars (MAP) [OPEN]](https://cdn2.scratch.mit.edu/get_image/project/141208281_480x360.png)
