Isabelle の代替手段
3Isabelle の代わりとなる 3 個の無料および有料のリストをまとめました。 主な競合相手はCoq、 F*です。 これらに加えて、ユーザーは Isabelle と Agda の間の比較も行います。 また、他の同様のオプションもここで確認できます: 教育およびリファレンスソフトウェア。
3
ソフトウェア
営業ツール
営業ツール
電子署名ソフト
26
契約管理ソフトウェア
23
営業インテリジェンスソフトウェア
35
自動ダイヤラー ソフトウェア
16
営業分析ソフトウェア
45
営業プラットフォームソフトウェア
24
営業加速プラットフォーム
19
連絡先管理ソフトウェア
20
セールスフォースオートメーションソフトウェア
40
販売コンテンツ管理ソフトウェア
18
販売予測ソフトウェア
17
インサイドセールス・ソフトウェア
6
販売追跡ソフトウェア
17
レベニュー・オペレーション＆インテリジェンス（RO&I）ソフトウェア
14
顧客収益最適化（CRO）ソフトウェア
8
営業補償ソフトウェア
5
コミッション・ソフトウェア
3
フィールド・セールス・ソフトウェア
1
契約ライフサイクル管理（CLM）ソフトウェア
5
契約分析ソフトウェア
2
パートナー管理ソフトウェア
1
セールス・ゲーミフィケーション・ソフトウェア
2
ERPソフトウェア
ERPソフトウェア
ディスクリートERPソフトウェア
25
ASP ソフトウェア (高度な計画とスケジューリング)
18
MESソフトウェア（製造実行システム）
10
ジョブショップ管理ソフトウェア
3
プロフェッショナル サービス自動化ソフトウェア
30
品質管理システム (QMS)
17
戦略と革新のロードマップツール
9
ビジネスプラン・ソフトウェア
9
製造ソフトウェア
9
ERPシステム
6
航空宇宙製造ソフトウェア
1
ミックスモードERPソフトウェア
2
プロジェクトベースのERPソフトウェア
1
製造インテリジェンス・ソフトウェア
1
ビジネス・アクティビティ・モニタリング・ソフトウェア
1
人事ソフトウェア
人事ソフトウェア
フリーランスプラットフォーム
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
SMSマーケティングソフトウェア
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短縮ソフト
1
リンク管理ツール・ソフトウェア
2
マーケティング・アトリビューション・ソフトウェア
8
スマートリンクソフトウェア
1
アフィリエイト・マーケティング・ソフトウェア
1
スルーチャネル・マーケティング・ソフトウェア
1
デジタル・サイネージ・ソフトウェア
1
モバイル・アトリビューション・プラットフォーム
2
オンライン・コミュニティ管理ソフトウェア
1
オーディエンス・インテリジェンス・プラットフォーム
1
ブランド・インテリジェンス・ソフトウェア
1
キーワードリサーチツールソフト
1
デザインソフトウェア
デザインソフトウェア
クリエイティブポートフォリオデザインソフトウェア
43
ウェブデザインソフトウェア
139
フォント管理ソフトウェア
11
作図ソフト
19
他のデザインソフトウェア
122
アプリデザインソフトウェア
18
ユーザー エクスペリエンス (UX) ソフトウェア
57
フローチャート ソフトウェア
8
3Dレンダリングソフトウェア
7
ユーザーインターフェース（UI）ソフトウェア
13
ワイヤーフレーム・ソフトウェア
7
プロトタイピング・ソフトウェア
2
ソフトウェア設計プラットフォーム
4
ロゴデザインツールソフトウェア
2
オーディオ編集ソフト
1
グラフィック・デザイン・ソフトウェア
4
ディスプレイ広告デザイン・ソフトウェア
1
デスクトップ・パブリッシング・ソフトウェア
1
オフィスソフト
オフィスソフト
ブラウザソフト
41
文書作成ソフト
37
プレゼンテーションソフト
24
アンケートソフトウェア
24
組織図ソフト
8
オンライン予約スケジューリングソフトウェア
16
電子メール管理ソフトウェア
36
電子メール確認ソフトウェア
7
荷物追跡ソフトウェア
1
ドキュメント生成ソフトウェア
35
画面およびビデオキャプチャソフトウェア
23
ブラウザ拡張機能
22
ファイル管理ソフトウェア
46
その他のオフィス ソフトウェア
4
表計算ソフト
3
ブックマーク管理ソフト
4
オンラインファックスソフトウェア
3
画面録画ソフト
9
電子メールクライアントソフトウェア
3
ファイルリーダーソフトウェア
3
来場者管理ソフトウェア
1
可変データ印刷（VDP）ソフトウェア
1
ドキュメント・スキャニング・ソフトウェア
2
ファイル変換ソフト
4
言語を選択
日本語
