KreMLin ユーザマニュアル

(訳注: この日本語マニュアルは The KreMLin user manual and documentation の翻訳です。 翻訳に参加するには 翻訳リポジトリ を参照してください。)

Contents:

• 導入
  • Low* のエッセンス
  • ツールとセットアップ
  • KreMLin ツールの使い方
• F* のサブセットとしての Low*
  • いくつかの有効な Low* の例
  • Low* におけるいくつかの拡張
  • Some non-Low* code
• The Low* libraries
  • The memory model
  • Machine integers
  • The buffer library
  • The modifies clauses library
• The Low* system libraries
  • C standard library
  • Test helpers
  • C string literals
  • C NULL pointers
  • A polymorphic exit
• Example: RingBuffer

Indices and tables

• Index
• Module Index
• Search Page