coq

Formal proof management system
Legend:
Library
Module
Module type
Parameter
Class
Class type
Library coqide-server.core
Class type Document . signals
method popped : callback:( 'a -> ('a list * 'a list) option -> unit ) -> unit
method pushed : callback:( 'a -> ('a list * 'a list) option -> unit ) -> unit