issues Search Results · language:Edge language:Python language:PHP language:JavaScript language:JavaScript language:HTML
Filter by
52.5M results
Goal
Grow the verified mathematical core beyond the current KakeyaToy skeleton.
Current State
- KakeyaToy.lean: 1 definition, 7 theorems, sorry = 0.
Next Targets
- More finite incidence lemmas. ...
core-math
lean
mathlib
TXJ2006
We re making update to transition diff import tasks from our original S3- Lambda invocation trigger, to now S3- SNS-
Lambda, and later perhaps to S3- SNS- SQS- Lambda to allow fan-out for dev, and to simplify ...
jeffsw
cookie policy not showing anything while hovering
tahrul
Goal
Create a reusable benchmark harness for CoLean tasks.
Tasks
- Define a structured task schema for theorem/proof-chain candidates.
- Record top-1/top-3/top-5 pass rates.
- Record free-generation ...
benchmark
prototype
Issue
The deployment workflow requires specific environment variables and parameter configuration, but these are not clearly
documented or validated before the deploy begins.
Details
The following required ...
deployment
documentation
low-priority
process-improvement
leonarduk
Description The current RouteMaster project has all or most of the HTML structure, CSS styling, and JavaScript logic
mixed within a single file. This makes the codebase harder to read, maintain, and scale ...
Ayontikapal
Issue
Post-deployment verification cannot confirm Lambda invocations. While the absence of invocations is expected (due to
Cognito JWT auth), this prevents truly verifying that the backend is operational. ...
deployment
enhancement
low-priority
testing
That black guy s project is useless
fengshucheng
Issue
CloudFormation describe-stacks queries sometimes fail to retrieve required outputs, returning \ None\ or empty values.
This affects deployment validation and endpoint discovery.
Details
Deployment ...
bug
cloudformation
deployment
medium-priority
Issue: Missing CONTRIBUTING.md
While exploring this repository, I noticed that it currently does not have a CONTRIBUTING.md file.
Why does this matter?
A Contributing Guide helps:
- Onboard new contributors ...
RehanAhmad25
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.
Learn how you can use GitHub Issues to plan and track your work.
Save views for sprints, backlogs, teams, or releases. Rank, sort, and filter issues to suit the occasion. The possibilities are endless.Learn more about GitHub IssuesProTip! Restrict your search to the title by using the in:title qualifier.