undefined | Better HN

0 pointsinit03y ago0 comments

Send a PR to fix it!

0 comments

There are so many things to fix. And they should have use coq as default language.

j / k navigate · click thread line to collapse

0 pointsinit03y ago0 comments

Send a PR to fix it!

There are so many things to fix. And they should have use coq as default language.

j / k navigate · click thread line to collapse