Y
Hacker News
new
|
ask
|
show
|
jobs
user:
practal
created:
2020-07-23
karma:
258
Researcher and freelancer. Developing Practal (https://practal.com).
GitHub: https://github.com/phlegmaticprogrammer email: obua@practal.com
submissions:
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
We're excited to announce that AXLE is switching from Lean to Rocq
3 points
|
1 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
AI for Math Winners
1 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
0 points
|
0 comments
Persistent sequences with insert and delete and canonical structure?
1 points
|
1 comments