Ecosyste.ms: Issues

An open API service for providing issue and pull request metadata for open source projects.

GitHub / brando90/isabelle-gym issues and pull requests

#35 - advertise on zulip

Issue - State: open - Opened by brando90 over 3 years ago

#34 - Create LICENSE

Pull Request - State: closed - Opened by brando90 over 3 years ago

#32 - Isagym.isar + Sketching agent

Issue - State: closed - Opened by brando90 about 4 years ago

#32 - Isagym.isar + Sketching agent

Issue - State: closed - Opened by brando90 about 4 years ago

#31 - Tactician agent for IsaGym

Issue - State: open - Opened by brando90 about 4 years ago

#30 - Make datasets.

Issue - State: open - Opened by madun1999 over 4 years ago - 3 comments
Labels: help wanted

#30 - Make datasets.

Issue - State: open - Opened by madun1999 over 4 years ago - 3 comments
Labels: help wanted

#29 - Establish grammar for tactics used in isabelle gym.

Issue - State: closed - Opened by brando90 over 4 years ago - 2 comments

#27 - Short cut API for gym

Issue - State: closed - Opened by brando90 over 4 years ago

#26 - Benchmarking Single Theorem Document vs other RL Gyms & HOList

Issue - State: closed - Opened by brando90 over 4 years ago

#25 - Extract entities/structure from HOL terms (for the agent)

Issue - State: closed - Opened by brando90 over 4 years ago - 1 comment

#23 - I will brainstorm on how to contact the Isabelle team

Issue - State: closed - Opened by brando90 over 4 years ago

#22 - How does the Multi-threading affect our python client?

Issue - State: closed - Opened by brando90 over 4 years ago

#20 - Docker image for Isabelle-Gym

Issue - State: open - Opened by brando90 over 4 years ago

#19 - Collect a Data set of proofs for Iabelle-Gym

Issue - State: closed - Opened by brando90 over 4 years ago

#18 - Push Brando's Isar code

Issue - State: closed - Opened by brando90 over 4 years ago

#16 - Everyone learn Scala

Issue - State: closed - Opened by brando90 over 4 years ago

#15 - Have a pseudo API for HOList & CoqGym to compare to our API

Issue - State: closed - Opened by brando90 over 4 years ago - 1 comment

#14 - Availability of using sledgehammer

Issue - State: closed - Opened by brando90 over 4 years ago

#13 - Apply a tactic and get the AST goals for the agent in python

Issue - State: closed - Opened by brando90 over 4 years ago - 2 comments

#12 - Having the current facts for the agent available in Python

Issue - State: open - Opened by brando90 over 4 years ago - 4 comments

#11 - BRANDO: give feedback joint answer:

Issue - State: closed - Opened by brando90 over 4 years ago

#10 - Draw project structure.

Issue - State: closed - Opened by jizej over 4 years ago

#9 - write a prototype API in a google doc that imitates HOList

Issue - State: closed - Opened by brando90 over 4 years ago

#7 - edited joint group answer with Brando

Issue - State: closed - Opened by brando90 over 4 years ago - 1 comment

#6 - joint group answer

Issue - State: closed - Opened by brando90 over 4 years ago - 1 comment

#5 - individual answers

Issue - State: closed - Opened by brando90 over 4 years ago

#4 - RL agent proposal for Isabelle-Gym

Issue - State: open - Opened by brando90 over 4 years ago

#3 - Data set of proofs in Isabelle

Issue - State: closed - Opened by brando90 over 4 years ago

#2 - Design first Isabelle pseudo API

Issue - State: open - Opened by brando90 over 4 years ago - 6 comments
Labels: help wanted

#1 - Literature Review if Isabelle Gym already exists

Issue - State: closed - Opened by brando90 over 4 years ago - 10 comments