issues Search Results · repo:DigitalFormalLogic/mathesis language:Python

Filter by

• • Code... (...)results
  • Issues1 (1)results
  • Pull requests5 (5)results
  • Discussions0 (0)results
  • Commits0 (0)results
  • Packages0 (0)results
  • Wikis0 (0)results

• State

  • Open
  • Closed

• Advanced

  • Owner
  • State
  • Close reason
  • Has linked pull request
  • Author
  • Assignee
  • Mentioned user
  • Mentioned team
  • Commenter
  • Involved user
  • Label
  • Milestone
  • Number of comments
  • Number of interactions
• Advanced search

Issues1 (1)

1 result

 (580 ms)

1 result

inDigitalFormalLogic/mathesis (press backspace or delete to remove)

Sort by: Best match

Filter

DigitalFormalLogic/mathesis

Commented-out code

I found that, in the source code, there is some commented-out code. In general, it is a good practice to leave as few commented-out code as possible. Even if this issue is only very minor, I think that ...

improvement

• Cubix1729
·
• 1
·
• Opened 
  on May 24
·
• #5

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 Issues

ProTip! 

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 Issues

ProTip! 

Restrict your search to the title by using the in:title qualifier.