fib_names « jvm « ssreflect « libs « ML4PG « contrib - proof-general - Emacs interface for proof assistants

about summary refs log tree commit diff homepage

path: root/contrib/ML4PG/libs/ssreflect/jvm/fib_names

blob: 9d5d20413c9b01030d95284af35c749dd770abdd (plain)

1 helper_fib_is_theta
2 fn_fib_is_theta
3 loop_is_helper_fib
4 program_is_fn_fib
5 program_correct_fib
6 total_correctness_fib