In terms of refutation
The calculus is sound (because it can be simulated by natural deduction) and refutationally complete (because it can simulate resolution), and these facts are proven in detail here..
Java・Python・JavaScript・JSON・HTMLなどのコードを整形・美化し、インデント、空白、改行をそろえます。
録音のトリミング・結合・分割、無音やノイズの除去、音量・速度・音程・チャンネルの調整ができます。
CSVやExcelの表を開いて編集し、表形式テキストを整形。CSVからExcelやSQLへの変換もできます。
Markdownの編集・プレビュー、Mermaid図の描画、Markdown・HTML・表の形式変換ができます。
文章の比較、単語数や頻出語の集計、行の並べ替え・置換、DOCX本文の表示ができます。
中国語の単語の意味、類義語、対義語や、さまざまな言語の IPA 発音記号を調べられます。
MP3・WAV・FLACなどを相互変換し、通常の音声や生PCMを再生。音声メタデータの確認・編集もできます。
JSONの表示・比較・検証、JSONPathのテスト、CSV・YAML・XMLへのデータ変換ができます。
音声を文字起こしし、テキストから音声を生成。ブラウザーで自分の声を録音することもできます。
動画の変換・圧縮、クリップのトリミング・結合、画面サイズの変更、音声抽出に対応します。
ローカル動画やストリーミング動画の再生、画面・カメラの録画、カメラを使ったオンラインミラーを利用できます。
PDFの圧縮・結合、ページの分割・並べ替え、画像への変換、文書の表示・比較ができます。
画像形式の変換、写真のサイズ変更・切り抜き、圧縮、画像比較、OCRによる文字抽出ができます。
スクリーンショットの撮影・装飾、文字から画像やGIFの作成、ホワイトボード描画、ワードクラウドやファビコンの生成ができます。
動画をプレビューしながらSRT・VTT字幕を編集。時間調整、形式変換、字幕トラックの管理ができます。
ZIP・7Z・RAR・TARを開いて必要なファイルを展開。新しいアーカイブの作成やZIP・7Zのパスワード設定もできます。
Base64・Base32のエンコードとデコード、URL・HTML・Unicodeのエスケープ、JWTの内容確認ができます。
2進・10進・16進の数値を変換し、数値を英語で表記。テキストから2進数への変換もできます。
パーセントや分数を計算し、統計データを集計。成績、割引率、縦横比も計算できます。
オンライン時計、カウントダウン、ストップウォッチを使い、日付・年齢・タイムゾーンの差を計算できます。
IPアドレスやIPv6接続の確認、HTTPリクエストやHARファイルの調査、CIDRアドレス範囲の計算ができます。
長さ・重さ・温度・データ容量などの単位を換算できます。
HEX・RGB・HSLを変換し、画像から色を抽出。コントラストの確認や単色画面によるディスプレイ確認もできます。
リンクやWi-Fi接続用のQRコード、各種バーコードを生成・読み取りできます。
ハッシュ・UUID・パスワードの生成、正規表現のテスト、URLスラッグの作成、ファイル権限の確認ができます。
画面解像度やリフレッシュレートの確認、画面定規での測定、キーボードのテスト、プロンプターの利用ができます。
2048、マインスイーパー、数独、五目並べ、タンクバトル