Coq 替代品
3我们整理了一个包含3个免费和付费的Coq替代方案的列表。主要竞争对手包括：Isabelle， F*。除了这些之外，用户还会将Coq与Agda进行比较。此外，您还可以在这里查看其他类似的选项：教育和参考软件。
13
软件
人力资源软件
人力资源软件
自由职业者平台
23
核心人力资源软件
32
薪资软件
39
承包商付款软件
17
人力资源合规软件
22
承包商管理软件
20
时间追踪软件
60
考勤软件
18
员工排班软件
20
劳动力管理软件
53
员工配备软件
23
GEP（全球雇佣平台）
17
人力资源分析软件
34
缺勤管理软件
8
吹哨软件
1
福利管理软件
13
员工监控软件
17
自由职业者管理系统
13
远程工作软件
34
补偿管理软件
17
请假管理软件
8
日历软件
18
求职板软件
6
记录雇主（EOR）软件
6
计时软件
8
多元化、公平与包容（DEI）软件
6
人力资源管理系统（HRMS）和人力资本管理（HCM）软件
23
劳动力规划软件
4
营销软件
营销软件
本地列表管理软件
7
短信营销软件
43
对话式营销软件
25
在线声誉管理软件
23
个性化软件
36
个性化引擎
25
营销自动化软件
141
奖励和激励软件
6
电子邮件营销软件
71
电子邮件交付工具
18
交易性邮件软件
16
直邮自动化软件
7
促销产品管理软件
14
电子邮件测试软件
11
弹出软件
7
印刷履行软件
3
移动营销软件
28
电子邮件模板构建软件
20
推送通知软件
22
营销分析软件
112
SEO工具
60
市场情报软件
11
消费者视频反馈软件
2
网络研讨会平台
12
用户研究软件
8
客户旅程分析软件
31
归因软件
12
呼入电话跟踪软件
6
抽奖软件
1
订阅计费软件
9
多地点营销平台
10
营销资源管理软件
22
营销日历软件
15
客户数据平台（CDP）
39
视频营销软件
18
全能营销平台软件
19
数字营销服务
70
营销规划软件
10
品牌管理软件
20
网站优化工具
46
网络分析软件
13
出版和订阅软件
5
QR 码生成器软件
3
应用程序商店优化 (ASO) 软件
2
数字分析软件
29
URL Shortener 软件
1
链接管理工具软件
2
营销归因软件
8
智能链接软件
1
联盟营销软件
1
全渠道营销软件
1
数字标牌软件
1
移动归因平台
2
在线社区管理软件
1
受众情报平台
1
品牌智能软件
1
关键词研究工具软件
1
选择您的语言
汉语
