C++ (Cpp) environment::add_theoremの例

コード例 #1

ファイル: object.cpp プロジェクト: Paradoxika/lean

static void read_theorem(environment const & env, io_state const &, deserializer & d) {
    name n    = read_name(d);
    expr t    = read_expr(d);
    expr v    = read_expr(d);
    env->add_theorem(n, t, v);
}