GitHub PushEvent at 2014-02-12 17:39:04
Repository: lean-leo
Actor: leodemoura
Payload: {"shas":[["368fcb5ff9c84dff4b8f72d37302a85fa60e22bd","7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","refactor(builtin/kernel): rename refute to by_contradiction\n\nSigned-off-by: Leonardo de Moura <leonardo@microsoft.com>","Leonardo de Moura",true],["93a6d6e372fa0b65c0ee4ff84d2ca046e0dabc42","7610bae85f2b530654cc716772f1fe653373e892@microsoft.com","feat(builtin/num): define fact and exp\n\nSigned-off-by: Leonardo de Moura <leonardo@microsoft.com>","Leonardo de Moura",true]],"size":2,"ref":"refs/heads/master","head":"93a6d6e372fa0b65c0ee4ff84d2ca046e0dabc42"}