Skip to content

Activity

Output of json-ast written to file

konstantine4096pushed 1 commit to tactics • 0ff454d…8b1ffe6 • 
27 days ago

Some cleanup

konstantine4096pushed 3 commits to tactics • 51d7da8…0ff454d • 
27 days ago

Passing a list of premise-name pairs to certToString and processCerti…

konstantine4096pushed 4 commits to tactics • e00e5de…51d7da8 • 
29 days ago

WIP

konstantine4096pushed 1 commit to tactics • 5b6aca6…e00e5de • 
on Jan 16

WIP

konstantine4096pushed 115 commits to tactics • ecec3c7…5b6aca6 • 
on Jan 16

Merge pull request #23 from AthenaFoundation/alpha

Pull request merge
konstantine4096pushed 19 commits to master • 3de4ee4…0597ed4 • 
on Nov 26, 2024

Refresh athena.mlb with alpha.sml

konstantine4096pushed 1 commit to alpha • a002a19…0e0d346 • 
on Nov 26, 2024

Refactor Prop.makeTPTPProp implementation

konstantine4096created alpha • a002a19 • 
on Nov 26, 2024

Merge pull request #22 from AthenaFoundation/direct_prolog

Pull request merge
konstantine4096pushed 8 commits to master • 30c584a…3de4ee4 • 
on Nov 18, 2024

Merge branch 'master' of https://github.com/AthenaFoundation/athena i…

konstantine4096created direct_prolog • 3495f4f • 
on Nov 18, 2024

Merge pull request #21 from AthenaFoundation/add_mlton_server

Pull request merge
konstantine4096pushed 3 commits to master • c7b5654…30c584a • 
on Nov 15, 2024

Suppressing debug prints in mlton_server.sml

konstantine4096created add_mlton_server • 8c888a6 • 
on Nov 15, 2024

Merge pull request #20 from AthenaFoundation/thread_based_tcp_sockets

Pull request merge
konstantine4096pushed 10 commits to master • a2d6435…c7b5654 • 
on Nov 12, 2024

Update make_athena_binary_for_linux

konstantine4096pushed 1 commit to thread_based_tcp_sockets • 6fe3a94…212aa71 • 
on Nov 12, 2024

Update make_athena_binary_for_mac

konstantine4096pushed 1 commit to thread_based_tcp_sockets • 1da4833…6fe3a94 • 
on Nov 12, 2024

WIP

konstantine4096created thread_based_tcp_sockets • 1da4833 • 
on Nov 12, 2024

Removing personal config from client.py

konstantine4096pushed 1 commit to tactics • bd105d4…ecec3c7 • 
on Nov 9, 2024

Adding makeBinary

konstantine4096pushed 3 commits to tactics • 3325d60…bd105d4 • 
on Nov 9, 2024

Minor cleanup

konstantine4096created tactics • 3325d60 • 
on Nov 9, 2024

Deleted branch

konstantine4096deleted hol2 • 
on Oct 11, 2024

Merge pull request #18 from AthenaFoundation/hol2

Pull request merge
konstantine4096pushed 26 commits to master • ff51049…a2d6435 • 
on Oct 11, 2024

Cleanup

konstantine4096pushed 1 commit to hol2 • a465c1a…b71f0e3 • 
on Oct 11, 2024

Merged

konstantine4096pushed 7 commits to hol2 • b8ca12f…a465c1a • 
on Oct 11, 2024

Update version.txt

WilfredTApushed 1 commit to master • ab4507d…ff51049 • 
on Oct 10, 2024

Update release.yaml

WilfredTApushed 1 commit to master • 50406cc…ab4507d • 
on Oct 10, 2024

v1.5.3

WilfredTApushed 1 commit to master • 0f96e88…50406cc • 
on Oct 10, 2024

Hol2 (#17)

Pull request merge
WilfredTApushed 1 commit to master • 6c00d9f…0f96e88 • 
on Oct 10, 2024

Implemented promotion of anonymous lambdas

konstantine4096pushed 8 commits to hol2 • 030967d…b8ca12f • 
on Oct 10, 2024

WIP

konstantine4096created hol2 • 030967d • 
on Oct 7, 2024

Merge pull request #16 from AthenaFoundation/tuples

Pull request merge
konstantine4096pushed 2 commits to master • b27ec6a…6c00d9f • 
on Aug 10, 2024