首页
注册
登录
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请
登录
V2EX 提问指南
广告
V2EX
›
问与答
2020 年国内的 Haskell/scheme/coq 工作机会怎么样?
archyw
·
2020-04-30 21:52:14 +08:00
· 1322 次点击
这是一个创建于 1669 天前的主题,其中的信息可能已经有所发展或是发生改变。
fp 与形式验证进度咋滴,去哪里找工作鸭 ? 🦆
coq
formal
Haskell
进度
1 条回复
•
2020-05-01 02:10:25 +08:00
1
m0cha
2020-05-01 02:10:25 +08:00 via iPhone
同问,haskell 初学者
关于
·
帮助文档
·
博客
·
API
·
FAQ
·
实用小工具
·
1392 人在线
最高记录 6679
·
Select Language
创意工作者们的社区
World is powered by solitude
VERSION: 3.9.8.5 · 22ms ·
UTC 17:09
·
PVG 01:09
·
LAX 09:09
·
JFK 12:09
Developed with
CodeLauncher
♥ Do have faith in what you're doing.